From 7c58a2ab3e0df343a7be393f8f6fc89b70a357ea Mon Sep 17 00:00:00 2001
From: Erwan Jahier <jahier@imag.fr>
Date: Tue, 2 Feb 2016 10:30:28 +0100
Subject: [PATCH] track src/lutilsVersion.ml
---
_oasis | 2 +-
doc/version.tex | 4 ++--
src/META | 4 ++--
src/lutilsVersion.ml | 2 ++
4 files changed, 7 insertions(+), 5 deletions(-)
create mode 100644 src/lutilsVersion.ml
diff --git a/_oasis b/_oasis
index 583234f..bb14c4d 100644
--- a/_oasis
+++ b/_oasis
@@ -1,6 +1,6 @@
OASISFormat: 0.4
Name: lutils
-Version: 1.4
+Version: 1.5
Authors: Erwan Jahier
Maintainers: erwan.jahier@imag.fr
License: GPL-3
diff --git a/doc/version.tex b/doc/version.tex
index 59584d9..0f79d26 100644
--- a/doc/version.tex
+++ b/doc/version.tex
@@ -1,4 +1,4 @@
-\newcommand{\version}{1.4}
-\newcommand{\sha}{4f6f011}
+\newcommand{\version}{1.5}
+\newcommand{\sha}{06235a5}
\newcommand{\versionname}{none}
\newcommand{\versiondate}{02-02-16}
diff --git a/src/META b/src/META
index f436f13..9e39092 100644
--- a/src/META
+++ b/src/META
@@ -1,6 +1,6 @@
# OASIS_START
-# DO NOT EDIT (digest: 001f58193d137e873d0b1451c9b716bc)
-version = "1.4"
+# DO NOT EDIT (digest: 3a0ce45c72f32c9af78bffe75df0a053)
+version = "1.5"
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
new file mode 100644
index 0000000..3fe92a7
--- /dev/null
+++ b/src/lutilsVersion.ml
@@ -0,0 +1,2 @@
+let str="1.5"
+let sha="06235a5"
--
GitLab