diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 6cd65a4e564e1f8b6a7071a1a5e3de2df6d33992..f9c2cc49e6f206ab9278ea611ac02339924c1eb2 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -16,7 +16,7 @@ build: - make install - find /home/opam/.opam/4.05.0/ -name gnuplot-rif -print cache: - untracked: true + paths: /home/opam/.opam/4.05.0/bin test: stage: test diff --git a/_oasis b/_oasis index 0557539d6ecb61ec7af33db530149dc9bf4ab6b4..338377a5b87fb3c752ee57ae9683b06ff22de847 100644 --- a/_oasis +++ b/_oasis @@ -1,6 +1,6 @@ OASISFormat: 0.4 Name: lutils -Version: 1.35 +Version: 1.36 Authors: Erwan Jahier Maintainers: erwan.jahier@imag.fr License: GPL-3 diff --git a/doc/version.tex b/doc/version.tex index e955feabcaa8bccf6ec94e55d3bb7f4488e60b0c..ec5c925f77d72ec06052271aa9b378cc9d5018f0 100644 --- a/doc/version.tex +++ b/doc/version.tex @@ -1,4 +1,4 @@ -\newcommand{\version}{1.35} -\newcommand{\sha}{25bc361} +\newcommand{\version}{1.36} +\newcommand{\sha}{e4a1814} \newcommand{\versionname}{none} \newcommand{\versiondate}{11-12-17} diff --git a/setup.ml b/setup.ml index 2c2c15286d1616a7cb29e8084c82584d42340433..4cb21bb66acdef6e34143749aa304126ac7062c8 100644 --- a/setup.ml +++ b/setup.ml @@ -1,7 +1,7 @@ (* setup.ml generated for the first time by OASIS v0.4.10 *) (* OASIS_START *) -(* DO NOT EDIT (digest: 46805bdb22b1e376e84d6cf7789a688d) *) +(* DO NOT EDIT (digest: cc313ba49bad215a140d139e5d7b8539) *) (* Regenerated by OASIS v0.4.10 Visit http://oasis.forge.ocamlcore.org for more information and @@ -6855,7 +6855,7 @@ let setup_t = { oasis_version = "0.4"; ocaml_version = None; - version = "1.35"; + version = "1.36"; license = OASISLicense.DEP5License (OASISLicense.DEP5Unit @@ -7254,7 +7254,7 @@ let setup_t = }; oasis_fn = Some "_oasis"; oasis_version = "0.4.10"; - oasis_digest = Some "N\220s)t\189\"}#\148\186\031G\200k_"; + oasis_digest = Some "O\247\188\158\202\171\011\177\021H\176Un\253>\226"; oasis_exec = None; oasis_setup_args = []; setup_update = false diff --git a/src/META b/src/META index 70d0b1d39412a4f5b12dc8fbd14038f8c6337fae..394d537f83fecd4252978177b632d16263d8e6b4 100644 --- a/src/META +++ b/src/META @@ -1,6 +1,6 @@ # OASIS_START -# DO NOT EDIT (digest: 591a1887a77a62fb7c61cd277aace1b2) -version = "1.35" +# DO NOT EDIT (digest: 87551453a62e5cf1e05cd9794ed57eaf) +version = "1.36" description = "shared by Verimag/synchronous tools (lustre, lutin, rdbg)." requires = "unix str camlp4 num" archive(byte) = "lutils.cma" diff --git a/src/lutilsVersion.ml b/src/lutilsVersion.ml index 04c48dafed4f73cd18a96dc3ae628362bec273dd..5d7c51a7538107646598f71530eb9252e190395a 100644 --- a/src/lutilsVersion.ml +++ b/src/lutilsVersion.ml @@ -1,2 +1,2 @@ -let str="1.35" -let sha="25bc361" +let str="1.36" +let sha="e4a1814"