diff --git a/Makefile b/Makefile index e695948fab4701a42b663e6b3d0c6f4ace213bb5..8dd44d9a40c73e67e29ce1f966a37b5288dd2d21 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,6 @@ -build:gen_version +build: lib/sasacore/sasaVersion.ml dune build @install install: @@ -21,8 +21,9 @@ test-doc: clean: rm -f *.cmxs sasa *.cmi *.o *.cmx *.pdf + rm -f lib/sasacore/sasaVersion.ml dune clean cd test; make clean --include Makefile.local -include Makefile.version +-include Makefile.local diff --git a/Makefile.version b/Makefile.version index 50094420dcfcb193f4637a96e189e9d7a6b7c0c2..52d180b22338c5804066c860a18335d925d381da 100644 --- a/Makefile.version +++ b/Makefile.version @@ -7,6 +7,7 @@ VERSION=$(shell git describe --tags) del_version: rm -f lib/sasacore/sasaVersion.ml +uv:gen_version gen_version: del_version lib/sasacore/sasaVersion.ml lib/sasacore/sasaVersion.ml: