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