diff options
Diffstat (limited to 'lang/moscow_ml/patches/patch-ac')
| -rw-r--r-- | lang/moscow_ml/patches/patch-ac | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/lang/moscow_ml/patches/patch-ac b/lang/moscow_ml/patches/patch-ac new file mode 100644 index 00000000000..f42fc57b400 --- /dev/null +++ b/lang/moscow_ml/patches/patch-ac @@ -0,0 +1,17 @@ +--- launch/Makefile.orig Mon Jul 7 04:38:39 1997 ++++ launch/Makefile Tue Feb 17 00:04:36 1998 +@@ -14,12 +14,11 @@ + chmod a+x /tmp/testscr + sh -c 'if sh -c /tmp/testscr 2>/dev/null; \ + then echo "#!$(BINDIR)/camlrunm" > $(LIBDIR)/header; \ +- else cp camlexec $(LIBDIR)/header; \ ++ else ${BSD_INSTALL_PROGRAM} camlexec $(LIBDIR)/header; \ + fi' + rm -f /tmp/testscr + for script in mosml mosmlc; do \ +- cp $$script $(BINDIR)/$$script; \ +- chmod a+x $(BINDIR)/$$script; \ ++ ${BSD_INSTALL_SCRIPT} $$script $(BINDIR)/$$script; \ + done + + mosmlc: mosmlc.tpl |