summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--lang/sml-nj-devel/files/patch-ab4
-rw-r--r--lang/sml-nj/files/patch-ab4
2 files changed, 4 insertions, 4 deletions
diff --git a/lang/sml-nj-devel/files/patch-ab b/lang/sml-nj-devel/files/patch-ab
index d8af8af..6e9c75b 100644
--- a/lang/sml-nj-devel/files/patch-ab
+++ b/lang/sml-nj-devel/files/patch-ab
@@ -6,12 +6,12 @@
fi
+# we need to patch just before build
+echo "applying source patches"
-+patch_file="${FILESDIR}/patch-global-names"
++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}/patch-signals"
++ patch_file="${FILESDIR}/extra-patch-signals"
+ if [ -f $patch_file ]; then
+ $PATCH $PATCH_ARGS < $patch_file
+ fi
diff --git a/lang/sml-nj/files/patch-ab b/lang/sml-nj/files/patch-ab
index d8af8af..6e9c75b 100644
--- a/lang/sml-nj/files/patch-ab
+++ b/lang/sml-nj/files/patch-ab
@@ -6,12 +6,12 @@
fi
+# we need to patch just before build
+echo "applying source patches"
-+patch_file="${FILESDIR}/patch-global-names"
++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}/patch-signals"
++ patch_file="${FILESDIR}/extra-patch-signals"
+ if [ -f $patch_file ]; then
+ $PATCH $PATCH_ARGS < $patch_file
+ fi
OpenPOWER on IntegriCloud