fabrication de src/version.ml

767b99c0 · Jean-Christophe Filliâtre · fcf05d12 · 767b99c0 · 767b99c0
Commit 767b99c0 authored Feb 11, 2010 by Jean-Christophe Filliâtre
Hide whitespace changes
Inline Side-by-side

Showing with 8 additions and 1 deletion

Makefile.in Makefile.in +8 -0

version.sh version.sh +0 -1

No files found.
--- a/Makefile.in
+++ b/Makefile.in
@@ -85,6 +85,14 @@ check: $(BINARY) $(PRELUDE)
 		WHYLIB=lib $(BINARY) -tc $$f; \
 	done

+# version number
+################
+
+include Version
+
+doc/version.tex src/version.ml: Version version.sh config.status
+	BINDIR=$(BINDIR) LIBDIR=$(LIBDIR) COQVER=$(COQVER) ./version.sh
+
 # why
 #####


--- a/version.sh
+++ b/version.sh
@@ -21,4 +21,3 @@ echo "let libdir = \"$LIBDIR/why\"" >> $WHYVF
 DOCF=doc/version.tex
 mkdir -p doc
 printf '\\newcommand{\\whyversion}{'$VERSION'}\n' > $DOCF
-printf '\\newcommand{\\caduceusversion}{'$CVERSION'}\n' >> $DOCF