aboutsummaryrefslogtreecommitdiff
path: root/lang/sml-nj
diff options
context:
space:
mode:
authorJoseph Koshy <jkoshy@FreeBSD.org>1999-02-02 04:00:12 +0000
committerJoseph Koshy <jkoshy@FreeBSD.org>1999-02-02 04:00:12 +0000
commitf5b19c099d6a00c7c274f3e3324b19c196d8da8e (patch)
treeb7be0e8599068ca3cddbde6cbf27b322f1441517 /lang/sml-nj
parent7fbdc4d2991b22185f7d6d7a1ba58f5d665a304a (diff)
downloadports-f5b19c099d6a00c7c274f3e3324b19c196d8da8e.tar.gz
ports-f5b19c099d6a00c7c274f3e3324b19c196d8da8e.zip
Notes
Diffstat (limited to 'lang/sml-nj')
-rw-r--r--lang/sml-nj/files/patch-ab15
1 files changed, 15 insertions, 0 deletions
diff --git a/lang/sml-nj/files/patch-ab b/lang/sml-nj/files/patch-ab
new file mode 100644
index 000000000000..b54e8f0d3449
--- /dev/null
+++ b/lang/sml-nj/files/patch-ab
@@ -0,0 +1,15 @@
+--- config/install.sh-- Wed Aug 5 13:43:43 1998
++++ config/install.sh Mon Feb 1 15:57:31 1999
+@@ -193,6 +193,12 @@
+ exit 1
+ fi
+ 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
+ cd $SRCDIR
+
+ #