aboutsummaryrefslogtreecommitdiffstats
path: root/lang/moscow_ml/files/patch-runtime::Makefile
blob: a52bf07ea01fb94da33d3dbd83dc8763028cc3f1 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
--- runtime/Makefile.orig   Tue Jul 18 16:16:44 2000
+++ runtime/Makefile    Wed Apr 10 00:19:10 2002
@@ -47,7 +47,7 @@
 
 install:
    ${INSTALL_PROGRAM} camlrunm$(EXE) $(BINDIR)
-   ${INSTALL_PROGRAM} *.h $(INCDIR)
+   ${INSTALL_DATA} *.h $(INCDIR)
 
 primitives : $(PRIMS)
    sed -n -e '/\/\* ML \*\//s/.* \([a-zA-Z0-9_][a-zA-Z0-9_]*\) *(.*/\1/p' \
@@ -87,8 +87,8 @@
 depend : prims.c opnames.h jumptbl.h
    mv Makefile Makefile.bak
    (sed -n -e '1,/^### DO NOT DELETE THIS LINE/p' Makefile.bak;     \
-         gcc -MM -I.. $(OPTS) *.c; \
-         gcc -MM -I.. $(OPTS) -DDEBUG *.c | sed -e 's/\.o/.d.o/') > Makefile
+         $(CC) -MM -I.. $(OPTS) *.c; \
+         $(CC) -MM -I.. $(OPTS) -DDEBUG *.c | sed -e 's/\.o/.d.o/') > Makefile
    rm Makefile.bak

 ### EVERYTHING THAT GOES BEYOND THIS COMMENT WILL BE ERASED WITHOUT WARNING