From eb7d533d99514ac43bf18069dc44483359fe8f17 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Fri, 25 Jan 2019 11:21:11 +0100
Subject: [PATCH] Build: fix the opam package building process
---
_oasis | 2 +-
doc/version.tex | 6 +++---
opam | 1 +
setup.ml | 6 +++---
src/META | 4 ++--
src/lutilsVersion.ml | 4 ++--
6 files changed, 12 insertions(+), 11 deletions(-)
diff --git a/_oasis b/_oasis
index 13d29e5..166f947 100644
--- a/_oasis
+++ b/_oasis
@@ -1,6 +1,6 @@
OASISFormat: 0.4
Name: lutils
-Version: 1.48.1
+Version: 1.48.2
Authors: Erwan Jahier
Maintainers: erwan.jahier@imag.fr
License: CeCILL
diff --git a/doc/version.tex b/doc/version.tex
index 8c2aed1..3813cf2 100644
--- a/doc/version.tex
+++ b/doc/version.tex
@@ -1,4 +1,4 @@
-\newcommand{\version}{1.48.1}
-\newcommand{\sha}{b343b75}
+\newcommand{\version}{1.48.2}
+\newcommand{\sha}{0f739b5}
\newcommand{\versionname}{none}
-\newcommand{\versiondate}{24-01-19}
+\newcommand{\versiondate}{25-01-19}
diff --git a/opam b/opam
index 8214681..17bddf5 100644
--- a/opam
+++ b/opam
@@ -23,6 +23,7 @@ depends: [
"camlp4"
"ocamlbuild" {build}
"ocamlfind"
+ "num"
]
available: [ ocaml-version >= "4.02" ]
post-messages: ["The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/ "]
diff --git a/setup.ml b/setup.ml
index c673c21..dd188d2 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: 6b6fdf5e6a1a6cb3037ed1329b345503) *)
+(* DO NOT EDIT (digest: 723e40f406bda477fb3ae714212e9086) *)
(*
Regenerated by OASIS v0.4.11
Visit http://oasis.forge.ocamlcore.org for more information and
@@ -6871,7 +6871,7 @@ let setup_t =
{
oasis_version = "0.4";
ocaml_version = Some (OASISVersion.VGreaterEqual "4.02");
- version = "1.48.1";
+ version = "1.48.2";
license =
OASISLicense.DEP5License
(OASISLicense.DEP5Unit
@@ -7272,7 +7272,7 @@ let setup_t =
};
oasis_fn = Some "_oasis";
oasis_version = "0.4.11";
- oasis_digest = Some "Z\154\154\157\159ro\244\n\016\031\218\242I/\129";
+ oasis_digest = Some "?\199\212\n\175\130\193\240\194\131\176#8\155b\132";
oasis_exec = None;
oasis_setup_args = [];
setup_update = false
diff --git a/src/META b/src/META
index 993a6c0..e131ac0 100644
--- a/src/META
+++ b/src/META
@@ -1,6 +1,6 @@
# OASIS_START
-# DO NOT EDIT (digest: a1b9035418d38f276ef37b7c17dc6b3c)
-version = "1.48.1"
+# DO NOT EDIT (digest: 96e9f7d81a57fed72d7dac8690db68c0)
+version = "1.48.2"
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 63a8baf..a4591a6 100644
--- a/src/lutilsVersion.ml
+++ b/src/lutilsVersion.ml
@@ -1,2 +1,2 @@
-let str="1.48.1"
-let sha="b343b75"
+let str="1.48.2"
+let sha="0f739b5"
--
GitLab