diff options
Diffstat (limited to 'lang/sml-nj-devel/files/patch-ab')
| -rw-r--r-- | lang/sml-nj-devel/files/patch-ab | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/lang/sml-nj-devel/files/patch-ab b/lang/sml-nj-devel/files/patch-ab index 122da2bf99a8..d8af8af38993 100644 --- a/lang/sml-nj-devel/files/patch-ab +++ b/lang/sml-nj-devel/files/patch-ab @@ -1,15 +1,21 @@ --- 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 @@ ++++ 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}/patch-global-names" +if [ -f $patch_file ]; then -+ echo "applying source patches" + $PATCH $PATCH_ARGS < $patch_file +fi ++if grep -w FPE_INTDIV /usr/include/machine/trap.h > /dev/null 2>&1; then ++ patch_file="${FILESDIR}/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" |