diff options
| author | jkoshy <jkoshy@FreeBSD.org> | 1999-02-02 12:00:12 +0800 |
|---|---|---|
| committer | jkoshy <jkoshy@FreeBSD.org> | 1999-02-02 12:00:12 +0800 |
| commit | a13a673bb756a4e58bfcd40987cb412882da89ce (patch) | |
| tree | 394df7cc613d64dcc9b0bc4d5564bece35346834 /lang/sml-nj/files | |
| parent | fb33d07fd5158f41bc35f55e087411cc4221cd03 (diff) | |
| download | freebsd-ports-gnome-a13a673bb756a4e58bfcd40987cb412882da89ce.tar.gz freebsd-ports-gnome-a13a673bb756a4e58bfcd40987cb412882da89ce.tar.zst freebsd-ports-gnome-a13a673bb756a4e58bfcd40987cb412882da89ce.zip | |
Add patch for ELF support.
Diffstat (limited to 'lang/sml-nj/files')
| -rw-r--r-- | lang/sml-nj/files/patch-ab | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/lang/sml-nj/files/patch-ab b/lang/sml-nj/files/patch-ab new file mode 100644 index 000000000000..b54e8f0d3449 --- /dev/null +++ b/lang/sml-nj/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 + + # |