1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-04 22:33:27 +00:00
freebsd-ports/lang/sml-nj/files/patch-ab
Satoshi Asami 45088c8848 Rename ${FILISDER}/patch-* to ${FILESDIRA}/extra-patch-*. (These patches
are applied from within the configure script, patched by patch-ab.)
2000-10-07 22:28:28 +00:00

22 lines
657 B
Plaintext

--- config/install.sh.orig Wed Aug 5 13:43:43 1998
+++ config/install.sh Sat Jan 29 20:46:09 2000
@@ -181,6 +181,18 @@
if [ "$?" != "0" ]; then
exit $?
fi
+# we need to patch just before build
+echo "applying source patches"
+patch_file="${FILESDIR}/extra-patch-global-names"
+if [ -f $patch_file ]; then
+ $PATCH $PATCH_ARGS < $patch_file
+fi
+if grep -w FPE_INTDIV /usr/include/machine/trap.h > /dev/null 2>&1; then
+ patch_file="${FILESDIR}/extra-patch-signals"
+ if [ -f $patch_file ]; then
+ $PATCH $PATCH_ARGS < $patch_file
+ fi
+fi
if [ ! -x $RUNDIR/run.$ARCH-$OPSYS ]; then
cd $SRCDIR/runtime/objs
echo "compiling the run-time system"