Mercurial > cpdt > repo
comparison Makefile @ 534:ed829eaa91b2
Builds with Coq 8.5beta2
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 05 Aug 2015 14:46:55 -0400 |
parents | 136d4b84eb96 |
children | d65e9c1c9041 |
comparison
equal
deleted
inserted
replaced
533:8921cfa2f503 | 534:ed829eaa91b2 |
---|---|
15 coq: Makefile.coq | 15 coq: Makefile.coq |
16 $(MAKE) -f Makefile.coq | 16 $(MAKE) -f Makefile.coq |
17 | 17 |
18 Makefile.coq: Makefile $(VS) | 18 Makefile.coq: Makefile $(VS) |
19 coq_makefile $(VS) \ | 19 coq_makefile $(VS) \ |
20 COQC = "coqc -I src" \ | 20 COQC = "coqc -R src Cpdt" \ |
21 COQDEP = "coqdep -I src" \ | 21 COQDEP = "coqdep -R src Cpdt" \ |
22 -o Makefile.coq | 22 -o Makefile.coq |
23 | 23 |
24 clean:: Makefile.coq | 24 clean:: Makefile.coq |
25 $(MAKE) -f Makefile.coq clean | 25 $(MAKE) -f Makefile.coq clean |
26 rm -f Makefile.coq .depend cpdt.tgz templates/*.v | 26 rm -f Makefile.coq .depend cpdt.tgz templates/*.v |