From bd182166d8a97de81b6abdb3aa434cc32d95a9dc Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 28 Apr 2000 16:00:15 +0000
Subject: portage en ocaml / camlp4 3.00

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index d83cb94acf..9ece34b016 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=-I theories/Init -I theories/Logic -I theories/Arith \
+COQINCLUDES=-I parsing -I theories/Init -I theories/Logic -I theories/Arith \
             -I theories/Bool -I theories/Zarith
 
 ###########################################################################
@@ -361,7 +361,13 @@ tags:
 # lexer (compiled with camlp4 to get optimized streams)
 
 parsing/lexer.cmo: parsing/lexer.ml
-	$(OCAMLC_P4O) -c $<
+	$(OCAMLC) $(BYTEFLAGS) -pp "camlp4o pa_ifdef.cmo" -c $<
+
+parsing/lexer.cmx: parsing/lexer.ml
+	$(OCAMLOPT) $(OPTFLAGS) -pp "camlp4o pa_ifdef.cmo" -c $<
+
+parsing/lexer.cmi: parsing/lexer.mli
+	$(OCAMLC) $(BYTEFLAGS) -pp "camlp4o pa_ifdef.cmo" -c $<
 
 clean::
 	rm -f parsing/lexer.ml
-- 
cgit v1.2.3