Newer
Older
SHA:=$(shell git log -1 --pretty=format:"%h"|| echo "opam")
BRANCH:=$(shell git branch | grep "*" | cut -d ' ' -f 2 || basename `pwd` | echo "opam")
VERSION=$(shell git describe --tags|| basename `pwd` | cut -d '.' -f2-4)
del_version:

erwan
committed
rm -f lib/sasacore/sasaVersion.ml

erwan
committed
gen_version: del_version lib/sasacore/sasaVersion.ml

erwan
committed
lib/sasacore/sasaVersion.ml:
echo "(* generated by ../Makefile.version *)" > lib/sasacore/sasaVersion.ml ; \
echo "let str=\"$(VERSION)\"" >> lib/sasacore/sasaVersion.ml ; \
echo "let sha=\"$(SHA)\"" >> lib/sasacore/sasaVersion.ml ; \
echo "let branch=\"$(BRANCH)\"" >> lib/sasacore/sasaVersion.ml ; \
echo "let maintainer = \"erwan.jahier@univ-grenoble-alpes.fr\"" >> lib/sasacore/sasaVersion.ml ;