diff options
author | Joseph Koshy <jkoshy@FreeBSD.org> | 2004-08-29 15:00:35 +0000 |
---|---|---|
committer | Joseph Koshy <jkoshy@FreeBSD.org> | 2004-08-29 15:00:35 +0000 |
commit | 41eb32a848d3f9b4f1aa82c4e52adce7ba45f144 (patch) | |
tree | b82f619b93b1be2447314ace26de543ceb80c141 /lang/sml-nj-devel/files/patch-ab | |
parent | Update to 0.0.9 (diff) |
Upgrade to v110.48.
Submitted by: Johannes 5 Joemann <joemann@beefree.free.de> [MAINTAINER]
Notes
Notes:
svn path=/head/; revision=117573
Diffstat (limited to 'lang/sml-nj-devel/files/patch-ab')
-rw-r--r-- | lang/sml-nj-devel/files/patch-ab | 58 |
1 files changed, 0 insertions, 58 deletions
diff --git a/lang/sml-nj-devel/files/patch-ab b/lang/sml-nj-devel/files/patch-ab deleted file mode 100644 index 718c362fbfaa..000000000000 --- a/lang/sml-nj-devel/files/patch-ab +++ /dev/null @@ -1,58 +0,0 @@ ---- config/install.sh.orig Thu Oct 17 15:07:53 2002 -+++ config/install.sh Mon Mar 17 02:11:26 2003 -@@ -550,6 +550,28 @@ - ###################################################################### - - # -+# do_patch patch-file -+# apply a patch file -+do_patch() { -+ patchfile=$FILESDIR/$1 -+ -+ if [ ! -r $patchfile ]; then -+ echo "$this: !!! patch file $patchfile not found." -+ exit 1; -+ fi -+ -+ if [ ! -f $CONFIGDIR/.patch_$1 ]; then -+ $PATCH $PATCH_ARGS < $patchfile || {\ -+ echo "$this: !!! patch file $patchfile failed to patch." -+ exit 1; -+ } -+ echo > $CONFIGDIR/.patch_$1 -+ else -+ echo "$this: patch $patchfile already installed." -+ fi -+} -+ -+# - # create the various sub directories - # - for dir in $BINDIR $HEAPDIR $RUNDIR $LIBDIR $SRCDIR ; do -@@ -656,6 +678,8 @@ - # build the run-time system - # - unpack "run-time" $SRCDIR runtime runtime -+do_patch do-patch-src-genposixnames -+do_patch do-patch-src-mk.x86-freebsd - if [ -x $RUNDIR/run.$ARCH-$OPSYS ]; then - vsay $this: Run-time system already exists. - else -@@ -664,7 +688,7 @@ - $MAKE -f mk.$ARCH-$OPSYS $EXTRA_DEFS - if [ -x run.$ARCH-$OPSYS ]; then - mv run.$ARCH-$OPSYS $RUNDIR -- $MAKE MAKE=$MAKE clean -+ [ "$MLNORUNTIMECLEAN" ] || $MAKE MAKE=$MAKE clean - else - complain "$this: !!! Run-time system build failed for some reason." - fi -@@ -728,6 +752,8 @@ - do - unpack $src $ROOT/src $src $src - done -+ do_patch do-patch-src-makeml -+ do_patch do-patch-src-installml - ;; - ml-yacc) - standalone ml-yacc ML-Yacc src |