diff options
| author | Joseph Koshy <jkoshy@FreeBSD.org> | 2004-12-31 07:51:03 +0000 |
|---|---|---|
| committer | Joseph Koshy <jkoshy@FreeBSD.org> | 2004-12-31 07:51:03 +0000 |
| commit | 86e509e85314625f5b352a13ed3bb4ded2f8da77 (patch) | |
| tree | f08f203af28409f6b792f040c0d1506793e26c64 /lang/sml-nj/files | |
| parent | e27710fcb02ef23a9e9a42467f09f6239214f746 (diff) | |
Notes
Diffstat (limited to 'lang/sml-nj/files')
| -rw-r--r-- | lang/sml-nj/files/patch-ab | 17 |
1 files changed, 13 insertions, 4 deletions
diff --git a/lang/sml-nj/files/patch-ab b/lang/sml-nj/files/patch-ab index 0329e1b1a454..098fdcb823ff 100644 --- a/lang/sml-nj/files/patch-ab +++ b/lang/sml-nj/files/patch-ab @@ -1,9 +1,17 @@ ---- config/install.sh.orig Fri Oct 20 16:02:25 2000 -+++ config/install.sh Tue Mar 11 22:30:59 2003 -@@ -155,6 +155,26 @@ +--- config/install.sh.orig Fri Oct 20 18:02:25 2000 ++++ config/install.sh Tue Dec 21 06:22:34 2004 +@@ -151,11 +151,34 @@ + # + # build the run-time system + # ++if [ -x $RUNDIR/run.$ARCH-$OPSYS ]; then ++ echo "$RUNDIR/run.$ARCH-$OPSYS already exists" ++else + $CONFIGDIR/unpack.sh "run-time" $SRCDIR runtime $ROOT/runtime.tar if [ "$?" != "0" ]; then exit $? fi +-if [ ! -x $RUNDIR/run.$ARCH-$OPSYS ]; then +# we need to patch just before build +echo "applying source patches" +patch_file="${FILESDIR}/extra-patch-cpp" @@ -24,6 +32,7 @@ + $PATCH $PATCH_ARGS < $patch_file + fi +fi - if [ ! -x $RUNDIR/run.$ARCH-$OPSYS ]; then ++#if [ ! -x $RUNDIR/run.$ARCH-$OPSYS ]; then cd $SRCDIR/runtime/objs echo "compiling the run-time system" + $MAKE -f mk.$ARCH-$OPSYS $EXTRA_DEFS |