diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index f9c2cc49e6f206ab9278ea611ac02339924c1eb2..36db3c560998fe06937fe7658dc77ed6f1e6a12a 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -16,7 +16,8 @@ build: - make install - find /home/opam/.opam/4.05.0/ -name gnuplot-rif -print cache: - paths: /home/opam/.opam/4.05.0/bin + paths: + - /home/opam/.opam/4.05.0/bin test: stage: test diff --git a/_oasis b/_oasis index 338377a5b87fb3c752ee57ae9683b06ff22de847..8c13d5fb189ed3fe69b1b430cc9d0874c5a0e8cc 100644 --- a/_oasis +++ b/_oasis @@ -1,6 +1,6 @@ OASISFormat: 0.4 Name: lutils -Version: 1.36 +Version: 1.37 Authors: Erwan Jahier Maintainers: erwan.jahier@imag.fr License: GPL-3 diff --git a/doc/version.tex b/doc/version.tex index ec5c925f77d72ec06052271aa9b378cc9d5018f0..f9e0c71309750ca825a65da7b6a8d9cc980f372f 100644 --- a/doc/version.tex +++ b/doc/version.tex @@ -1,4 +1,4 @@ -\newcommand{\version}{1.36} -\newcommand{\sha}{e4a1814} +\newcommand{\version}{1.37} +\newcommand{\sha}{a31f8df} \newcommand{\versionname}{none} \newcommand{\versiondate}{11-12-17} diff --git a/setup.ml b/setup.ml index 4cb21bb66acdef6e34143749aa304126ac7062c8..b81da0d805da3fad3b4f6292e37c3336212d8c9b 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: cc313ba49bad215a140d139e5d7b8539) *) +(* DO NOT EDIT (digest: 7820e79ab021bdca2cc9e2e413224b2d) *) (* 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.36"; + version = "1.37"; license = OASISLicense.DEP5License (OASISLicense.DEP5Unit @@ -7254,7 +7254,7 @@ let setup_t = }; oasis_fn = Some "_oasis"; oasis_version = "0.4.10"; - oasis_digest = Some "O\247\188\158\202\171\011\177\021H\176Un\253>\226"; + oasis_digest = Some "\217\238}\"\227]M \020A\196\rM\187\025\185"; oasis_exec = None; oasis_setup_args = []; setup_update = false diff --git a/src/META b/src/META index 394d537f83fecd4252978177b632d16263d8e6b4..ae9b7d960d8da3dbce3b0f7ed6166f3ab098a9b2 100644 --- a/src/META +++ b/src/META @@ -1,6 +1,6 @@ # OASIS_START -# DO NOT EDIT (digest: 87551453a62e5cf1e05cd9794ed57eaf) -version = "1.36" +# DO NOT EDIT (digest: 0f8a018116cdc336ef2713b75c31f049) +version = "1.37" 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 5d7c51a7538107646598f71530eb9252e190395a..ee7049221d84c5b0e46d00370ada5df77710fcd1 100644 --- a/src/lutilsVersion.ml +++ b/src/lutilsVersion.ml @@ -1,2 +1,2 @@ -let str="1.36" -let sha="e4a1814" +let str="1.37" +let sha="a31f8df"