summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2003-07-03 14:36:22 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2003-07-03 14:36:22 +0000
commite140b9ea5c8e3644622c22540ef43b628d64fee8 (patch)
treeac8b52477e6a78beed5aa8cd5b29d2a0d8360945
parent661910856deb3576226cf4808a35bd980ebeb170 (diff)
Remplacement des liens symboliques par des references .so
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5650 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--camlp4/man/Makefile11
1 files changed, 5 insertions, 6 deletions
diff --git a/camlp4/man/Makefile b/camlp4/man/Makefile
index 272c32422..c04d34325 100644
--- a/camlp4/man/Makefile
+++ b/camlp4/man/Makefile
@@ -3,6 +3,7 @@
include ../config/Makefile
TARGET=camlp4.1
+ALIASES=camlp4o.1 camlp4r.1 mkcamlp4.1 ocpp.1 camlp4o.opt.1 camlp4r.opt.1
all: $(TARGET)
@@ -16,12 +17,10 @@ get_promote:
install:
-$(MKDIR) $(MANDIR)/man1
-cp $(TARGET) $(MANDIR)/man1/.
- -cd $(MANDIR)/man1; rm -f camlp4o.1; ln -s $(TARGET) camlp4o.1
- -cd $(MANDIR)/man1; rm -f camlp4r.1; ln -s $(TARGET) camlp4r.1
- -cd $(MANDIR)/man1; rm -f mkcamlp4.1; ln -s $(TARGET) mkcamlp4.1
- -cd $(MANDIR)/man1; rm -f ocpp.1; ln -s $(TARGET) ocpp.1
- -cd $(MANDIR)/man1; rm -f camlp4o.opt.1; ln -s $(TARGET) camlp4o.opt.1
- -cd $(MANDIR)/man1; rm -f camlp4r.opt.1; ln -s $(TARGET) camlp4r.opt.1
+ -for i in $(ALIASES); do \
+ rm -f $(MANDIR)/man1/$$i; \
+ echo '.so man1/$(TARGET)' > $(MANDIR)/man1/$$i; \
+ done
camlp4.1: camlp4.1.tpl
sed -e "s'LIBDIR'$(LIBDIR)'g" camlp4.1.tpl > camlp4.1