diff options
| author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2002-02-14 12:30:30 +0000 |
|---|---|---|
| committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2002-02-14 12:30:30 +0000 |
| commit | 41ec2d8ed070dd70ca61957f973fd767c040665f (patch) | |
| tree | 6964570cb904d55d150d5479bf159c541613b1f9 | |
| parent | b86c3f21e94a1b7098ea0f708944fc637cba5ca4 (diff) | |
-
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4408 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | camlp4/compile/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/camlp4/compile/Makefile b/camlp4/compile/Makefile index d5dc26d04..bc817c3fa 100644 --- a/camlp4/compile/Makefile +++ b/camlp4/compile/Makefile @@ -28,7 +28,9 @@ pa_$D_fast.ml: comp_head.ml $D_fast.ml comp_trail.ml $D_fast.ml: compile.cmo $(SRC) OTOP=$(OTOP) EXE=$(EXE) ./compile.sh $(COMP_OPT) $(SRC) > $D_fast.ml -# OTOP=$(OTOP) EXE=$(EXE) ./compile.sh $(COMP_OPT) $(SRC) | sed -e "s/expr_16/expr_15/" > $D_fast.ml +pa_$D_fast.cmx: pa_$D_fast.ml + $(OTOP)/boot/ocamlrun ../boot/camlp4r -nolib -I ../boot q_MLast.cmo pa_extend.cmo -o pa_$D_fast.ppo pa_$D_fast.ml + $(OTOP)/ocamlopt.opt -I $(OTOP)/stdlib -warn-error A -I ../camlp4 -I ../boot -c -impl pa_$D_fast.ppo clean:: rm -f *.cm* *.pp[io] *.o *.bak .*.bak *.out *.opt |