From 30abd69a4069216871a11910271812a18745d263 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Mon, 11 Dec 2017 15:41:25 +0100
Subject: [PATCH] Add a lutils.install to make sure that gnuplot-rif is
installed in the bin dir
---
_oasis | 2 +-
doc/version.tex | 4 ++--
lutils.install | 3 +++
setup.ml | 6 +++---
src/META | 4 ++--
src/lutilsVersion.ml | 4 ++--
6 files changed, 13 insertions(+), 10 deletions(-)
create mode 100644 lutils.install
diff --git a/_oasis b/_oasis
index 938021e..a141e03 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 8453bf2..b0a5bff 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 0000000..29856df
--- /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 dd7acce..41274cd 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 cab51ce..29c8ab8 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 4f81507..7bf41df 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"
--
GitLab