From a13a673bb756a4e58bfcd40987cb412882da89ce Mon Sep 17 00:00:00 2001 From: jkoshy Date: Tue, 2 Feb 1999 04:00:12 +0000 Subject: Add patch for ELF support. --- lang/sml-nj-devel/files/patch-ab | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 lang/sml-nj-devel/files/patch-ab (limited to 'lang/sml-nj-devel') diff --git a/lang/sml-nj-devel/files/patch-ab b/lang/sml-nj-devel/files/patch-ab new file mode 100644 index 000000000000..b54e8f0d3449 --- /dev/null +++ b/lang/sml-nj-devel/files/patch-ab @@ -0,0 +1,15 @@ +--- config/install.sh-- Wed Aug 5 13:43:43 1998 ++++ config/install.sh Mon Feb 1 15:57:31 1999 +@@ -193,6 +193,12 @@ + exit 1 + fi + 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 + cd $SRCDIR + + # -- cgit