Mercurial > cpdt > repo
diff 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 |
line wrap: on
line diff
--- a/Makefile Tue Apr 07 18:59:24 2015 -0400 +++ b/Makefile Wed Aug 05 14:46:55 2015 -0400 @@ -17,8 +17,8 @@ Makefile.coq: Makefile $(VS) coq_makefile $(VS) \ - COQC = "coqc -I src" \ - COQDEP = "coqdep -I src" \ + COQC = "coqc -R src Cpdt" \ + COQDEP = "coqdep -R src Cpdt" \ -o Makefile.coq clean:: Makefile.coq