diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index a1201f631fb712183efbc8d9aa5d2c0f17a8ce72..fd023aa59287f605d88e0482775671b67c7cba13 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -22,7 +22,7 @@ test: - make test-batch local_test: - stage: none + stage: deploy script: - make - make install diff --git a/_oasis b/_oasis index b17680736d2c8b01598fbaedde7a1db753ebd36a..75e6dfe81a10d581f58e11a90256b5f4ba7bbf05 100644 --- a/_oasis +++ b/_oasis @@ -1,6 +1,6 @@ OASISFormat: 0.4 Name: lutils -Version: 1.28 +Version: 1.29 Authors: Erwan Jahier Maintainers: erwan.jahier@imag.fr License: GPL-3 diff --git a/doc/version.tex b/doc/version.tex index 80c61f1b61dd9232e43671ca21e91bec450562e0..f10329c59fbb1125164dee4683629d6a8bb3772f 100644 --- a/doc/version.tex +++ b/doc/version.tex @@ -1,4 +1,4 @@ -\newcommand{\version}{1.28} -\newcommand{\sha}{767558d} +\newcommand{\version}{1.29} +\newcommand{\sha}{7bb27a3} \newcommand{\versionname}{none} \newcommand{\versiondate}{08-12-17} diff --git a/setup.ml b/setup.ml index 28714e8887295778cbad2d3f9d20100e41b6f856..8de16c20b0e99309a66978a32fd7749e222de338 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: fbfca4bc0b51c7db73d4226244b848de) *) +(* DO NOT EDIT (digest: 7997b790922194a50794e0b4228c8bc2) *) (* 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.28"; + version = "1.29"; license = OASISLicense.DEP5License (OASISLicense.DEP5Unit @@ -7254,7 +7254,7 @@ let setup_t = }; oasis_fn = Some "_oasis"; oasis_version = "0.4.10"; - oasis_digest = Some "z\225veg 2\130\212\164\211(\225\018\207\203"; + oasis_digest = Some "\134_n\132_\148TAS\128\231\247F&\022B"; oasis_exec = None; oasis_setup_args = []; setup_update = false diff --git a/src/META b/src/META index 4c671c5c3f1611fd602d3efdbde7ac525fe15263..1d4c81f43b0ab567cf4b06eee28fa6e729541fe2 100644 --- a/src/META +++ b/src/META @@ -1,6 +1,6 @@ # OASIS_START -# DO NOT EDIT (digest: df4bca649125fec64ea2a93918a4db07) -version = "1.28" +# DO NOT EDIT (digest: e198011d6cd0be22ad077bc21eeeb5f7) +version = "1.29" 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 ba5211af34754a60b83935ede897bd171687fc9f..3d497409b2660da616654447893a3aa85de2156a 100644 --- a/src/lutilsVersion.ml +++ b/src/lutilsVersion.ml @@ -1,2 +1,2 @@ -let str="1.28" -let sha="767558d" +let str="1.29" +let sha="7bb27a3"