diff options
Diffstat (limited to 'lang/moscow_ml/files/patch-runtime__Makefile')
| -rw-r--r-- | lang/moscow_ml/files/patch-runtime__Makefile | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/lang/moscow_ml/files/patch-runtime__Makefile b/lang/moscow_ml/files/patch-runtime__Makefile new file mode 100644 index 000000000000..a52bf07ea01f --- /dev/null +++ b/lang/moscow_ml/files/patch-runtime__Makefile @@ -0,0 +1,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 |