diff options
author | proff <proff@pkgsrc.org> | 1999-12-08 15:48:15 +0000 |
---|---|---|
committer | proff <proff@pkgsrc.org> | 1999-12-08 15:48:15 +0000 |
commit | 5e6d6e6d9a4519dbaa9b0e0b7093a736e01bed28 (patch) | |
tree | 61b34aa3d22474f0ce9be6b836aa3731a1bd0e5f /lang/sml-nj/patches | |
parent | 2566cb0668a8b15c1c8c04a1027933443434c55c (diff) | |
download | pkgsrc-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-ab | 15 |
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" |