diff --git a/_oasis b/_oasis index 938021ec89200edfa41fe2d7cd64a21b87aea480..a141e0379458ee9100f09dfcdd609ed51aebc307 100644 --- a/_oasis +++ b/_oasis @@ -1,6 +1,6 @@ OASISFormat: 0.4 Name: lutils -Version: 1.32 +Version: 1.33 Authors: Erwan Jahier Maintainers: erwan.jahier@imag.fr License: GPL-3 diff --git a/doc/version.tex b/doc/version.tex index 8453bf277939fe3e301e2dd5f497fa32472df191..b0a5bff56b4ac25a4ece70e0f539700b09a82f77 100644 --- a/doc/version.tex +++ b/doc/version.tex @@ -1,4 +1,4 @@ -\newcommand{\version}{1.32} -\newcommand{\sha}{cba6df2} +\newcommand{\version}{1.33} +\newcommand{\sha}{a84de47} \newcommand{\versionname}{none} \newcommand{\versiondate}{10-12-17} diff --git a/lutils.install b/lutils.install new file mode 100644 index 0000000000000000000000000000000000000000..29856dffddf9bf062d38ff8c983334452bfab453 --- /dev/null +++ b/lutils.install @@ -0,0 +1,3 @@ +bin: [ + "_build/src/gnuplotRifMain.native" {"gnuplot-rif"} + ] diff --git a/setup.ml b/setup.ml index dd7acce387cb5bfdb106af2227c8ad49d8beedf0..41274cd83b614cb44dbb928cdd8bbef953769ea2 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: f8c4139098ea323c8d1691ab8bc2681c) *) +(* DO NOT EDIT (digest: 09310b26b4875273106f22c8c547cd96) *) (* 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.32"; + version = "1.33"; license = OASISLicense.DEP5License (OASISLicense.DEP5Unit @@ -7254,7 +7254,7 @@ let setup_t = }; oasis_fn = Some "_oasis"; oasis_version = "0.4.10"; - oasis_digest = Some "\190\205}\030\242*\136]\134Ox\210\177\015\246\199"; + oasis_digest = Some "\192I\191,x\134\144K\0172\2069\148?\152["; oasis_exec = None; oasis_setup_args = []; setup_update = false diff --git a/src/META b/src/META index cab51ceced51c0380dc42766ad6e5cd43d4726c1..29c8ab85ec7bd3a592e30cd817b16cc7de7a8419 100644 --- a/src/META +++ b/src/META @@ -1,6 +1,6 @@ # OASIS_START -# DO NOT EDIT (digest: 8a67bcca1cfa9f0ede45d720fe4295d3) -version = "1.32" +# DO NOT EDIT (digest: 2134e8ca3fe0aea64f65c6dc74542b54) +version = "1.33" 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 4f815078bb11a1a8ddc4a15a0cc35b35692bfdcf..7bf41df4165d08fae5547da1de89b0e802679cb0 100644 --- a/src/lutilsVersion.ml +++ b/src/lutilsVersion.ml @@ -1,2 +1,2 @@ -let str="1.32" -let sha="cba6df2" +let str="1.33" +let sha="a84de47"