summaryrefslogtreecommitdiff
path: root/lang/moscow_ml/patches/patch-ac
blob: f42fc57b400ff0c5e97c02118a5e15c3e5d2db92 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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