Track myocamlbuild.ml

Makefile.dev

@@ -12,7 +12,6 @@
 # 2 -U-> 0
 # 1 -U-> 0
 # to implement such a workflow, C puts a lock (state 1) and U removes it (state 0)
-# 
 
 ###############################
 # a few git shortcuts

README.md

 
 # Table of Contents
 
-1.  [Installing `lutils` via opam](#org899f6bf)
-2.  [Installing the git source](#org07b5cbb)
-3.  [Tests](#org917061e)
+1.  [Installing `lutils` via opam](#orgb3ef6f9)
+2.  [Installing the git source](#org0039a1a)
+3.  [Tests](#org5c141d9)
 
 Tools and libs shared by other Verimag/synchronous tools (lustre, lutin, rdbg).
 
@@ -15,7 +15,7 @@ Tools and libs shared by other Verimag/synchronous tools (lustre, lutin, rdbg).
     using gnuplot.
 
 
-<a id="org899f6bf"></a>
+<a id="orgb3ef6f9"></a>
 
 # Installing `lutils` via opam
 
@@ -24,7 +24,7 @@ Tools and libs shared by other Verimag/synchronous tools (lustre, lutin, rdbg).
     $ opam install lutils
 
 
-<a id="org07b5cbb"></a>
+<a id="org0039a1a"></a>
 
 # Installing the git source
 
@@ -35,7 +35,7 @@ Tools and libs shared by other Verimag/synchronous tools (lustre, lutin, rdbg).
     make
 
 
-<a id="org917061e"></a>
+<a id="org5c141d9"></a>
 
 # Tests
 

README.org

@@ -18,7 +18,9 @@ $ opam install lutils
 
 * Installing the git source
 
-#+BEGIN_SRC sh
+# docker run -i -t  ocaml/opam:ubuntu
+
+#+BEGIN_SRC sh 
 git clone https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/lutils.git
 cd lutils
 mv Makefile.version.hide Makefile.version

doc/version.tex

 \newcommand{\version}{1.22}
-\newcommand{\sha}{67792db}
+\newcommand{\sha}{943470a}
 \newcommand{\versionname}{none}
 \newcommand{\versiondate}{08-12-17}

src/lutilsVersion.ml

 let str="1.22"
-let sha="67792db"
+let sha="943470a"