diff options
Diffstat (limited to 'lang/sml-nj/files/patch-ab')
-rw-r--r-- | lang/sml-nj/files/patch-ab | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lang/sml-nj/files/patch-ab b/lang/sml-nj/files/patch-ab index 8d3c6f6edc31..0329e1b1a454 100644 --- a/lang/sml-nj/files/patch-ab +++ b/lang/sml-nj/files/patch-ab @@ -1,11 +1,15 @@ --- config/install.sh.orig Fri Oct 20 16:02:25 2000 +++ config/install.sh Tue Mar 11 22:30:59 2003 -@@ -155,6 +155,22 @@ +@@ -155,6 +155,26 @@ if [ "$?" != "0" ]; then exit $? fi +# we need to patch just before build +echo "applying source patches" ++patch_file="${FILESDIR}/extra-patch-cpp" ++if [ -f $patch_file ]; then ++ $PATCH $PATCH_ARGS < $patch_file ++fi +patch_file="${FILESDIR}/extra-patch-global-names" +if [ -f $patch_file ]; then + $PATCH $PATCH_ARGS < $patch_file |