diff options
| author | Joseph Koshy <jkoshy@FreeBSD.org> | 2002-05-30 10:47:57 +0000 |
|---|---|---|
| committer | Joseph Koshy <jkoshy@FreeBSD.org> | 2002-05-30 10:47:57 +0000 |
| commit | dcd902f84652155189b05b0e4abe32bc2a8237ad (patch) | |
| tree | 2e8b4a5c8f29b87e6704f9102917bddf02be03ba /lang/moscow_ml/files/patch-runtime::Makefile | |
| parent | Unbreak port if INCOWN and INCGRP are not defined. (diff) | |
Upgrade to v2.0.
Submitted by: Johannes 5 Joemann <joemann@beefree.free.de>
Diffstat (limited to 'lang/moscow_ml/files/patch-runtime::Makefile')
| -rw-r--r-- | lang/moscow_ml/files/patch-runtime::Makefile | 11 |
1 files changed, 11 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..1d05c283b559 --- /dev/null +++ b/lang/moscow_ml/files/patch-runtime::Makefile @@ -0,0 +1,11 @@ +--- 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' \ |