make: patch all files and only once

Author: gares

.gitignore

@@ -58,3 +58,4 @@ _minted-*
 *.vtc
 
 *.dot
+config.stamp

Makefile

@@ -100,8 +100,19 @@ distclean: sub-distclean this-distclean
 .PHONY: this-config this-build this-only this-test-suite this-test-suite-stdlib this-distclean this-clean
 
 this-config:: __always__
-	if command -v coqc > /dev/null && (coqc --version | grep -q '8.18\|8.19\|8.20') ; then \
-	  sed -i.bak HB/structures.v -e 's/From Corelib/From Coq/' ; \
+	@command -v coqc >/dev/null || exit 1
+	@if [ -e config.stamp -a "`coqc --print-version`" = "`cat config.stamp 2>/dev/null`" ] ; then \
+		echo 'already configured';\
+	else\
+		coqc --print-version > config.stamp;\
+		echo 'configuring for ' `coqc --print-version`;\
+		if (coqc --version | grep -q '8.18\|8.19\|8.20') ; then \
+			echo '*****************************************************************';\
+			echo 'old coq version detected, double check the diff before committing';\
+			echo '*****************************************************************';\
+			sed -i.bak `find . -name \*.v` -e 's/From Corelib/From Coq/' ; \
+			sed -i.bak `find . -name \*.v` -e 's/IntDef/ZArith/' ; \
+		fi;\
 	fi
 
 this-build:: this-config Makefile.coq
@@ -117,6 +128,7 @@ this-test-suite-stdlib:: build Makefile.test-suite-stdlib.coq
 	+$(COQMAKE_TESTSUITE_STDLIB)
 
 this-distclean:: this-clean
+	rm -f config.stamp
 	rm -f Makefile.coq Makefile.coq.conf
 	rm -f Makefile.test-suite.coq Makefile.test-suite.coq.conf
 	rm -f Makefile.test-suite-stdlib.coq Makefile.test-suite-stdlib.coq.conf