1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-07 22:58:11 +00:00
freebsd-ports/lang/sml-nj/files/patch-ab
1999-02-02 07:29:00 +00:00

16 lines
456 B
Plaintext

--- 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"