Fix the version number (that was shifted by 1) used when generating package name.

Makefile.dev

 #######################################################################################
 # Workflow:
-# C=git commit ;  A=git amend ; U=update_version ; O=opam pack
+# C=git commit ;  A=git amend ; U=update_version ; P=opam pack
 # to make sure the sha and the version are good, one should never
 # do U and then A.
 # to avoid such problems, legal trace are defined by this automata:
@@ -60,7 +60,7 @@ tags:
 # opam-ing
 
 NAME=lutils
-PACKNAME=$(NAME).$(VERSION)
+PACKNAME=$(NAME).$(PRE_VERSION)
 WWW=/import/www/DIST-TOOLS/SYNCHRONE
 HTTP=http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE
 

Makefile.version

@@ -3,10 +3,10 @@
 SHA:=$(shell git log -1 --pretty=format:"%h")
 COMMIT_NB:=$(shell git log --pretty=oneline  | wc -l)
 
-
+PRE_COMMIT_NB:=$(shell echo $(COMMIT_NB) - 1 | bc)
+PRE_VERSION:=1.$(PRE_COMMIT_NB)
 VERSION:=1.$(COMMIT_NB)
 
-
 del_version:
 	rm -f lutils/src/lutilsVersion.ml
 

_oasis

 OASISFormat: 0.4
 Name:        lutils
-Version:     1.7
+Version:     1.8
 Authors:     Erwan Jahier
 Maintainers: erwan.jahier@imag.fr
 License:     GPL-3

doc/version.tex

-\newcommand{\version}{1.7}
-\newcommand{\sha}{e22be85}
+\newcommand{\version}{1.8}
+\newcommand{\sha}{43d317b}
 \newcommand{\versionname}{none}
-\newcommand{\versiondate}{09-03-16}
+\newcommand{\versiondate}{10-03-16}

src/META

 # OASIS_START
-# DO NOT EDIT (digest: 5e7d63573d3c2595f6f7f9782cd1529a)
-version = "1.7"
+# DO NOT EDIT (digest: a51f894db3601ae2c79d6727aca7452d)
+version = "1.8"
 description = "shared by Verimag/synchronous tools (lustre, lutin, rdbg)."
 requires = "unix str camlp4 num"
 archive(byte) = "lutils.cma"

src/lutilsVersion.ml

-let str="1.7"
-let sha="e22be85"
+let str="1.8"
+let sha="43d317b"