diff options
| -rw-r--r-- | camlp4/camlp4/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/camlp4/camlp4/Makefile b/camlp4/camlp4/Makefile index 7ebbddc07..06b70bfea 100644 --- a/camlp4/camlp4/Makefile +++ b/camlp4/camlp4/Makefile @@ -74,6 +74,12 @@ install: cp $(CAMLP4) "$(BINDIR)/." cp mLast.mli quotation.mli ast2pt.mli pcaml.mli spretty.mli "$(LIBDIR)/camlp4/." cp mLast.cmi quotation.cmi ast2pt.cmi pcaml.cmi spretty.cmi "$(LIBDIR)/camlp4/." + cp argl.cmi argl.cmo "$(LIBDIR)/camlp4/." + for f in argl.o argl.cmx; do \ + if test -r $$f ; then \ + cp $$f "$(LIBDIR)/camlp4/." ; \ + fi ; \ + done cp camlp4.cma $(LIBDIR)/camlp4/. for f in camlp4.$(A) camlp4.p.$(A) ; do \ if test -f $$f ; then \ |