diff --git a/Makefile.dev b/Makefile.dev index f8f25a4d086cd26e96600037cf41f65a3ccb10f1..95f420630cfb62c405dd3e672d7ede09c84f33df 100644 --- a/Makefile.dev +++ b/Makefile.dev @@ -25,7 +25,7 @@ update_version: rm -f committed make clean && make -cia: +cia: test test -f committed && \ echo "*** I won't commit!\n*** until you 'make update_version'!" \ || (git commit -a -F log && touch committed) diff --git a/_oasis b/_oasis index 582cf9a2025b32239a939a727c742869a73e09fe..860a841215dfe458dc825dfd8615457bb4307682 100644 --- a/_oasis +++ b/_oasis @@ -1,13 +1,12 @@ OASISFormat: 0.4 Name: lutils -Version: 1.42 +Version: 1.43 Authors: Erwan Jahier Maintainers: erwan.jahier@imag.fr License: CeCILL Plugins: DevFiles (0.4), META (0.4) Synopsis: Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg). Homepage: https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/ -SourceRepository: Description: The gnuplot-rif tool vizualise RIF files using gnuplot. diff --git a/doc/version.tex b/doc/version.tex index a5793651ebff78669a4d09d369b4fac5da50fe07..1dbfc8f59718976988f13869ff6553a3f4157702 100644 --- a/doc/version.tex +++ b/doc/version.tex @@ -1,4 +1,4 @@ -\newcommand{\version}{1.42} -\newcommand{\sha}{a5d7fd5} +\newcommand{\version}{1.43} +\newcommand{\sha}{5a19499} \newcommand{\versionname}{none} -\newcommand{\versiondate}{30-04-18} +\newcommand{\versiondate}{03-05-18} diff --git a/setup.ml b/setup.ml index 0cdc9ffe781559c3323078b16b15a1b85d283f96..dc6ae64c963fc03224d52de055ef6a6a316546f0 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: 05976c6c76b64a539e73811f915f65f1) *) +(* DO NOT EDIT (digest: a05242512da59f2a1faaabbf3277d0c8) *) (* 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.42"; + version = "1.43"; license = OASISLicense.DEP5License (OASISLicense.DEP5Unit @@ -6872,7 +6872,9 @@ let setup_t = copyrights = []; maintainers = ["erwan.jahier@imag.fr"]; authors = ["Erwan Jahier"]; - homepage = Some "http://www-verimag.imag.fr/"; + homepage = + Some + "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/"; bugreports = None; synopsis = "Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg)."; @@ -7254,7 +7256,7 @@ let setup_t = }; oasis_fn = Some "_oasis"; oasis_version = "0.4.10"; - oasis_digest = Some "=\0118\180\216\203R:\174\226>22`\211\245"; + oasis_digest = Some "b\004L8Kp\187s\138\n\238\"\244\170\003\214"; oasis_exec = None; oasis_setup_args = []; setup_update = false @@ -7262,7 +7264,7 @@ let setup_t = let setup () = BaseSetup.setup setup_t;; -# 7266 "setup.ml" +# 7268 "setup.ml" let setup_t = BaseCompat.Compat_0_4.adapt_setup_t setup_t open BaseCompat.Compat_0_4 (* OASIS_STOP *) diff --git a/src/META b/src/META index 92359df3dedec2d359cd0dedc754e1aac5381e33..08a3cca65db15793364f7b448568d0b9664e01e5 100644 --- a/src/META +++ b/src/META @@ -1,6 +1,6 @@ # OASIS_START -# DO NOT EDIT (digest: 7d279cc3ae5dfdd5cbcb26bc25f6ea4b) -version = "1.42" +# DO NOT EDIT (digest: f8fe83befb77c8c6f01a283a75e670a0) +version = "1.43" 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 6f467721886543249d8be3061783372e46fb4874..03f571b6ec89fc6a35f9ae892c1a5f99b3dfb937 100644 --- a/src/lutilsVersion.ml +++ b/src/lutilsVersion.ml @@ -1,2 +1,2 @@ -let str="1.42" -let sha="a5d7fd5" +let str="1.43" +let sha="5a19499"