From 7dfacfe208a9fa5ad5f7669537c54609b4adf51e Mon Sep 17 00:00:00 2001
From: filliatr
Date: Mon, 13 Dec 1999 09:20:34 +0000
Subject: chemin compile des fichiers Coq

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@247 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 1242cbb244..72cc981fcf 100644
--- a/Makefile
+++ b/Makefile
@@ -41,7 +41,7 @@ OCAMLC_P4O=$(OCAMLC) -pp camlp4o $(BYTEFLAGS)
 OCAMLOPT_P4O=$(OCAMLOPT) -pp camlp4o $(OPTFLAGS)
 CAMLP4IFDEF=camlp4o pa_ifdef.cmo -D$(OSTYPE)
 
-COQINCLUDES=
+COQINCLUDES=-I theories/Init
 
 ###########################################################################
 # Objects files 
@@ -382,7 +382,7 @@ toplevel/mltop.cmx: toplevel/mltop.ml4
 	$(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4EXTEND) -impl" -c -impl $<
 
 .v.vo:
-	$(COQC) $(COQCINCLUDES) $<
+	$(COQC) $(COQINCLUDES) $<
 
 .el.elc:
 	echo "(setq load-path (cons \".\" load-path))" > $*.compile
-- 
cgit v1.2.3