make sure that src/version.ml is recomputed by removinf it at each

git commit.

Makefile

@@ -20,7 +20,7 @@ test:
 
 
 ci:
-	make test && git commit -F log
+	make test && git commit -F log && rm src/version.ml
 
 cia:
-	make test && git commit -a -F log
+	make test && git commit -a -F log && rm src/version.ml
\ No newline at end of file

src/Makefile

@@ -44,7 +44,7 @@ endif
 MLONLY_SOURCES=$(filter %.ml %.mll %.mly, $(SOURCES))
 
 # for using the debugger
-debug:
+debug: version.ml
 	mv *.mli mli
 	make MLONLY=yes SOURCES="$(MLONLY_SOURCES)" dc || true
 	mv mli/* .

src/version.ml

-(* Automatically generated from src/Makefile *) 
-let tool = "lus2lic"
-let branch = "u0"
-let commit = "24"
-let sha_1 = "9adeaeab6d4be0b10e2fe1d252f77bf2e191c59a"
-let str = (branch ^ "." ^ commit)