generate zarith_version.ml from configure instead of Makefile

shoud help with compilation on Windows
ocaml · Mar 2, 2021 · 6ce46a5 · 6ce46a5
1 parent b1a1be2
commit 6ce46a5
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 3 deletions.
diff --git a/configure b/configure
@@ -368,6 +368,14 @@ case "$ocamlver" in
     ;;
 esac
 
+
+# zarith version
+
+version=`grep "version" META | head -1`
+echo "let $version" > zarith_version.ml
+echo "let backend = \"$backend\"" >> zarith_version.ml
+
+
 # dump Makefile
 
 cat > Makefile <<EOF

diff --git a/project.mak b/project.mak
@@ -34,7 +34,7 @@ endif
 MLSRC = zarith_version.ml z.ml q.ml big_int_Z.ml
 MLISRC = z.mli q.mli big_int_Z.mli
 
-AUTOGEN = zarith_version.ml
+AUTOGEN =
 
 CMIOBJ = $(MLISRC:%.mli=%.cmi)
 CMXOBJ = $(MLISRC:%.mli=%.cmx)
@@ -88,8 +88,6 @@ doc: $(MLISRC)
 	mkdir -p html
 	$(OCAMLDOC) -html -d html -charset utf8 $+
 
-zarith_version.ml: META
-	(echo "let"; grep "version" META | head -1; echo "let backend = \"$(BACKEND)\"") > zarith_version.ml
 
 
 # install targets