Mercurial > cpdt > repo

comparison Makefile @ 534:ed829eaa91b2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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