Merge pull request #70 from proux01/fix-macos

Fix sed commands on MacOS
math-comp · Feb 24, 2025 · 0accab9 · 0accab9
2 parents c99947d + a66c56c
commit 0accab9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Makefile.coq.local b/Makefile.coq.local
@@ -1,8 +1,8 @@
 pre-all::
 	if command -v coqc > /dev/null && (coqc --version | grep -q '8.18\|8.19\|8.20') ; then \
 	  for f in $(shell grep "From Corelib" $$(find . -name "*.v") | cut -d: -f1) ; do \
-	     sed -i.bak $${f} -e 's/From Corelib/From Coq/' ; \
-	     sed -i.bak $${f} -e 's/PosDef/PArith/' ; \
+	     sed -i.bak 's/From Corelib/From Coq/' $${f} ; \
+	     sed -i.bak 's/PosDef/PArith/' $${f} ; \
 	     $(RM) $${f}.bak ; \
 	  done ; \
 	fi