diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index e3c6fb51d02835065314bd81bb8e8679578bd968..762f06fed4f8d2368860e576556d07ad15694bd1 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -14,10 +14,12 @@ build: - opam install camlp4 ocamlfind - make - make install + - find /home/opam/.opam/4.05.0/ -name gnuplot-rif -print test: stage: test script: + - find /home/opam/.opam/4.05.0/ -name gnuplot-rif -print - cd test - make test-batch diff --git a/_oasis b/_oasis index a141e0379458ee9100f09dfcdd609ed51aebc307..bb1fdeefb6728f177f927a89bf066de661323631 100644 --- a/_oasis +++ b/_oasis @@ -1,6 +1,6 @@ OASISFormat: 0.4 Name: lutils -Version: 1.33 +Version: 1.34 Authors: Erwan Jahier Maintainers: erwan.jahier@imag.fr License: GPL-3 diff --git a/doc/version.tex b/doc/version.tex index b0a5bff56b4ac25a4ece70e0f539700b09a82f77..c168c406daf348e5b2f1e90de04ba58db1c66786 100644 --- a/doc/version.tex +++ b/doc/version.tex @@ -1,4 +1,4 @@ -\newcommand{\version}{1.33} -\newcommand{\sha}{a84de47} +\newcommand{\version}{1.34} +\newcommand{\sha}{30abd69} \newcommand{\versionname}{none} -\newcommand{\versiondate}{10-12-17} +\newcommand{\versiondate}{11-12-17} diff --git a/setup.ml b/setup.ml index 41274cd83b614cb44dbb928cdd8bbef953769ea2..d2a8a27e69c02ae90bba825553cb29db2d30baf3 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: 09310b26b4875273106f22c8c547cd96) *) +(* DO NOT EDIT (digest: 0081447a51f21c84983c857d66d89a24) *) (* 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.33"; + version = "1.34"; license = OASISLicense.DEP5License (OASISLicense.DEP5Unit @@ -7254,7 +7254,7 @@ let setup_t = }; oasis_fn = Some "_oasis"; oasis_version = "0.4.10"; - oasis_digest = Some "\192I\191,x\134\144K\0172\2069\148?\152["; + oasis_digest = Some "Z\028a\186\166\232\2393QF\169F\229\137)\240"; oasis_exec = None; oasis_setup_args = []; setup_update = false diff --git a/src/META b/src/META index 29c8ab85ec7bd3a592e30cd817b16cc7de7a8419..333ecbeba528cdf1aca92a00db2d2c402125f110 100644 --- a/src/META +++ b/src/META @@ -1,6 +1,6 @@ # OASIS_START -# DO NOT EDIT (digest: 2134e8ca3fe0aea64f65c6dc74542b54) -version = "1.33" +# DO NOT EDIT (digest: 75996833ef4f8620c07a47e6b9a7ce4d) +version = "1.34" 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 7bf41df4165d08fae5547da1de89b0e802679cb0..44f5d8d94b9593561c4d414bf429de1e18bf7d8a 100644 --- a/src/lutilsVersion.ml +++ b/src/lutilsVersion.ml @@ -1,2 +1,2 @@ -let str="1.33" -let sha="a84de47" +let str="1.34" +let sha="30abd69"