diff options
Diffstat (limited to 'camlp4/etc/Makefile')
| -rw-r--r-- | camlp4/etc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/camlp4/etc/Makefile b/camlp4/etc/Makefile index dc1518bcfc..61f45a773b 100644 --- a/camlp4/etc/Makefile +++ b/camlp4/etc/Makefile @@ -27,7 +27,7 @@ mkcamlp4.sh: mkcamlp4.sh.tpl sed -e "s!LIBDIR!$(LIBDIR)!g" mkcamlp4.sh.tpl > mkcamlp4.sh pa_ocamllex.cma: pa_ocamllex.cmo - $(OCAMLC) -I $(OTOP)/lex cset.cmo lexgen.cmo compact.cmo pa_ocamllex.cmo -a -o pa_ocamllex.cma + $(OCAMLC) -I $(OTOP)/lex cset.cmo syntax.cmo table.cmo lexgen.cmo compact.cmo pa_ocamllex.cmo -a -o pa_ocamllex.cma bootstrap_lisp: ../boot/camlp4 ./pa_lispr.cmo -I ../boot pa_extend.cmo q_MLast.cmo ./pr_r.cmo ./pr_extend.cmo ./pr_rp.cmo -phony_quot pa_lisp.ml | sed -e 's/^;; \(.*\)$$/(* \1 *)/' -e 's|./pa_lispr.cmo|pa_r.cmo pa_rp.cmo|' -e 's/$$Id.*\$$/File generated by pretty print; do not edit!/' > tmp |