From 080108b940f6bf5a1812a5bf91a7dce3b9151ac1 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Thu, 3 May 2018 16:21:16 +0200
Subject: [PATCH] Fix the the _oasis file
---
Makefile.dev | 2 +-
_oasis | 3 +--
doc/version.tex | 6 +++---
setup.ml | 12 +++++++-----
src/META | 4 ++--
src/lutilsVersion.ml | 4 ++--
6 files changed, 16 insertions(+), 15 deletions(-)
diff --git a/Makefile.dev b/Makefile.dev
index f8f25a4..95f4206 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 582cf9a..860a841 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 a579365..1dbfc8f 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 0cdc9ff..dc6ae64 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 92359df..08a3cca 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 6f46772..03f571b 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"
--
GitLab