Makefile.version.hide

# can oasis do all this stuff?
SHA:=$(shell git log -1 --pretty=format:"%h")
COMMIT_NB:=$(shell git log --pretty=oneline  | wc -l)

VERSION:=1.$(COMMIT_NB)
PRE_COMMIT_NB:=$(shell echo $(COMMIT_NB) - 1 | bc)
PRE_VERSION:=1.$(PRE_COMMIT_NB)

gen_version:
	rm -f src/lv6version.ml


src/lv6version.ml: Makefile
	echo "(** Automatically generated from Makefile *) " > $@
	echo "let tool = \"lv6\"" >> $@
	echo "let branch = \"$(shell utils/get_branch_name)\"" >> $@
	echo "let commit = \"$(shell utils/get_commit_number)\"" >> $@
	echo "let sha_1 = \"$(shell utils/get_sha_1)"\">> $@
	echo "let str = (branch ^ \".\" ^ commit ^ \" (\" ^ sha_1 ^ \")\")">> $@
	echo "let maintainer = \"erwan.jahier@univ-grenoble-alpes.fr\"">> $@