diff options
| author | Michel Mauny <Michel.Mauny@ensta.fr> | 2005-01-31 10:38:53 +0000 |
|---|---|---|
| committer | Michel Mauny <Michel.Mauny@ensta.fr> | 2005-01-31 10:38:53 +0000 |
| commit | fba2541ba96c4a43ece5c0f5e60a5f234fc63915 (patch) | |
| tree | ff076aa225b2dfc30c6a3f86104c880f0a058d08 | |
| parent | df6f81e16ca9847ff0cc50471adf8f649bc505be (diff) | |
argl.* are now installed in LIBDIR/camlp4 (cf request #3439).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6760 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -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 \ |