diff options
author | Michel Mauny <Michel.Mauny@ensta.fr> | 2004-05-25 13:12:28 +0000 |
---|---|---|
committer | Michel Mauny <Michel.Mauny@ensta.fr> | 2004-05-25 13:12:28 +0000 |
commit | 9552ac6eec6f5ce873cad3629b2ee9575449444f (patch) | |
tree | 148d5fa9b2b64a36df0af53b1f24839ded7e3112 | |
parent | 6294af5c67934737571c803685be4318d10a6f24 (diff) |
Fixed PR#1885: Portability problem with "make installopt" in camlp4/lib on OpenBSD 3.3
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | camlp4/lib/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/camlp4/lib/Makefile b/camlp4/lib/Makefile index ece72d151..2a6158994 100644 --- a/camlp4/lib/Makefile +++ b/camlp4/lib/Makefile @@ -43,6 +43,6 @@ install: installopt: cp $(TARGET:.cma=.cmxa) *.cmx "$(LIBDIR)/camlp4/." - tar cf - $(TARGET:.cma=.$(A)) | (cd "$(LIBDIR)/camlp4/."; tar xf -) + TARG=`echo "$(TARGET)" | sed -e "s/\.cma\$$/.$(A)/g"` && tar cf - $$TARG | (cd "$(LIBDIR)/camlp4/." && tar xf -) include .depend |