diff options
| author | Joseph Koshy <jkoshy@FreeBSD.org> | 2001-08-24 09:12:43 +0000 |
|---|---|---|
| committer | Joseph Koshy <jkoshy@FreeBSD.org> | 2001-08-24 09:12:43 +0000 |
| commit | 924e43a6460aa76124ff140d3e8dc0d112d668c7 (patch) | |
| tree | 27ae57ccd4d01467676beb1b3592d31a111598f9 /lang/sml-nj-devel/files/patch-ab | |
| parent | add vm-pop3d (diff) | |
Upgrade to SML/NJ v110.34. Add a number of nifty configurability options.
PR: ports/29656
Submitted by: Johannes 5 Joemann <joemann@beefree.free.de>
Diffstat (limited to 'lang/sml-nj-devel/files/patch-ab')
| -rw-r--r-- | lang/sml-nj-devel/files/patch-ab | 30 |
1 files changed, 20 insertions, 10 deletions
diff --git a/lang/sml-nj-devel/files/patch-ab b/lang/sml-nj-devel/files/patch-ab index cacfce583402..fe93cf1d434b 100644 --- a/lang/sml-nj-devel/files/patch-ab +++ b/lang/sml-nj-devel/files/patch-ab @@ -1,5 +1,5 @@ ---- config/install.sh.orig Wed May 23 03:36:12 2001 -+++ config/install.sh Mon Jun 18 14:40:02 2001 +--- config/install.sh.orig Wed Jun 20 22:39:12 2001 ++++ config/install.sh Wed Aug 15 19:16:18 2001 @@ -408,6 +408,28 @@ } @@ -29,11 +29,21 @@ # create the various sub directories # for dir in $BINDIR $HEAPDIR $RUNDIR $LIBDIR $SRCDIR ; do -@@ -519,6 +541,7 @@ - # build the run-time system - # - unpack "run-time" $SRCDIR runtime runtime -+do_patch extra-patch-global-names - if [ -x $RUNDIR/run.$ARCH-$OPSYS ]; then - echo $this: Run-time system already exists. - else +@@ -527,7 +549,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 + echo "$this: !!! Run-time system build failed for some reason." + exit 1 +@@ -594,6 +616,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 |