summaryrefslogtreecommitdiff
path: root/lang/sml-nj/patches
diff options
context:
space:
mode:
authorproff <proff@pkgsrc.org>1999-12-08 15:48:15 +0000
committerproff <proff@pkgsrc.org>1999-12-08 15:48:15 +0000
commit5e6d6e6d9a4519dbaa9b0e0b7093a736e01bed28 (patch)
tree61b34aa3d22474f0ce9be6b836aa3731a1bd0e5f /lang/sml-nj/patches
parent2566cb0668a8b15c1c8c04a1027933443434c55c (diff)
downloadpkgsrc-5e6d6e6d9a4519dbaa9b0e0b7093a736e01bed28.tar.gz
A Standard ML implementation from Bell-Labs. Implements the SML '97 definition
including the new Basis library with a few minor omissions and discrepancies. WWW: http://cm.bell-labs.com/cm/cs/what/smlnj/index.html If you are interested in a lighter weight implementation of ML, the Moscow-ML port is recommended.
Diffstat (limited to 'lang/sml-nj/patches')
-rw-r--r--lang/sml-nj/patches/patch-ab15
1 files changed, 15 insertions, 0 deletions
diff --git a/lang/sml-nj/patches/patch-ab b/lang/sml-nj/patches/patch-ab
new file mode 100644
index 00000000000..122da2bf99a
--- /dev/null
+++ b/lang/sml-nj/patches/patch-ab
@@ -0,0 +1,15 @@
+--- config/install.sh.orig Wed Aug 5 13:43:43 1998
++++ config/install.sh Tue Feb 2 12:57:13 1999
+@@ -181,6 +181,12 @@
+ if [ "$?" != "0" ]; then
+ exit $?
+ fi
++# we need to patch just before build
++patch_file="${FILESDIR}/patch-global-names"
++if [ -f $patch_file ]; then
++ echo "applying source patches"
++ $PATCH $PATCH_ARGS < $patch_file
++fi
+ if [ ! -x $RUNDIR/run.$ARCH-$OPSYS ]; then
+ cd $SRCDIR/runtime/objs
+ echo "compiling the run-time system"