File: Makefile.coq.local

package info (click to toggle)
mathcomp-finmap 2.2.2-2
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 436 kB
  • sloc: sh: 51; makefile: 13
file content (8 lines) | stat: -rw-r--r-- 315 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
7
8
 
pre-all::
	if command -v coqc > /dev/null && (coqc --version | grep -q '8.20') ; then \
	  for f in $(shell grep "From Corelib" $$(find . -name "*.v") | cut -d: -f1) ; do \
	     sed -i.bak 's/From Corelib/From Coq/' $${f} ; \
	     sed -i.bak 's/PosDef/PArith/' $${f} ; \
	     $(RM) $${f}.bak ; \
	  done ; \
	fi