diff options
| author | filliatr | 2000-04-28 16:00:15 +0000 |
|---|---|---|
| committer | filliatr | 2000-04-28 16:00:15 +0000 |
| commit | bd182166d8a97de81b6abdb3aa434cc32d95a9dc (patch) | |
| tree | baf2d5ef0691eaffeba3228f89877c8eef103411 /Makefile | |
| parent | 897cb12c7d539e63d52a701bad92376acdf6a473 (diff) | |
portage en ocaml / camlp4 3.00
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@379 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -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 |