diff options
| author | Michel Mauny <Michel.Mauny@ensta.fr> | 2003-07-14 17:59:30 +0000 |
|---|---|---|
| committer | Michel Mauny <Michel.Mauny@ensta.fr> | 2003-07-14 17:59:30 +0000 |
| commit | 4cfde2c2f6aaa198efb7473400f35a2cfe5fbe98 (patch) | |
| tree | e14f2070e821af0d20916c754fd14f215157e711 /camlp4/meta | |
| parent | 6fe08afc3ab25c261c9e0248f4c2c936fbd1590c (diff) | |
Fixed installation of camlp4opt.opt
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5689 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4/meta')
| -rw-r--r-- | camlp4/meta/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/camlp4/meta/Makefile b/camlp4/meta/Makefile index 992e87184..21d732537 100644 --- a/camlp4/meta/Makefile +++ b/camlp4/meta/Makefile @@ -5,8 +5,9 @@ include ../config/Makefile INCLUDES=-I ../camlp4 -I ../boot -I $(OTOP)/utils OCAMLCFLAGS=-warn-error A $(INCLUDES) OBJS=q_MLast.cmo pa_r.cmo pa_rp.cmo pa_extend.cmo pa_extend_m.cmo pa_macro.cmo pr_dump.cmo +OBJSX=$(OBJS:.cmo=.cmx) CAMLP4RM=pa_r.cmo pa_rp.cmo pr_dump.cmo -CAMLP4RMX=pa_r.cmx pa_rp.cmx pr_dump.cmx +CAMLP4RMX=$(CAMLP4RM:.cmo=.cmx) SHELL=/bin/sh COUT=$(OBJS) camlp4r$(EXE) COPT=camlp4r.opt @@ -46,6 +47,6 @@ install: cp $(OBJS) "$(LIBDIR)/camlp4/." cp pa_macro.cmi pa_extend.cmi "$(LIBDIR)/camlp4/." cp camlp4r$(EXE) "$(BINDIR)/." - if test -f $(COPT); then cp $(COPT) "$(BINDIR)/."; fi + if test -f camlp4r.opt; then cp camlp4r.opt "$(BINDIR)/."; cp $(OBJSX) $(OBJSX:.cmx=.o) "$(LIBDIR)/camlp4/."; fi include .depend |