1 files changed, 95 insertions, 0 deletions
diff --git a/lang/sml-nj-devel/files/patch-config::install.sh b/lang/sml-nj-devel/files/patch-config::install.sh
new file mode 100644
index 000000000000..d37984e2c11b
--- /dev/null
+++ b/lang/sml-nj-devel/files/patch-config::install.sh
@@ -0,0 +1,95 @@
+--- config/install.sh.orig	Sat Jul 31 00:55:23 2004
++++ config/install.sh	Thu Aug 12 16:14:55 2004
+@@ -12,6 +12,8 @@
+ # Author: Matthias Blume (blume@tti-c.org)
+ #
+ 
++[ -n "$RECOMPILEDIR" ] && echo "RECOMPILEDIR=$RECOMPILEDIR"
++
+ if [ x${INSTALL_QUIETLY} = xtrue ] ; then
+     export CM_VERBOSE
+     CM_VERBOSE=false
+@@ -32,6 +34,28 @@
+     exit 1
+ }
+ 
++#
++# 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
++}
++
+ this=$0
+ 
+ 
+@@ -299,7 +323,12 @@
+ # the name of the bin files directory
+ #
+ BOOT_ARCHIVE=boot.$ARCH-unix
+-BOOT_FILES=sml.$BOOT_ARCHIVE
++if [ -z "$RECOMPILEDIR" ]
++then
++	BOOT_FILES=sml.$BOOT_ARCHIVE
++else
++	BOOT_FILES=$RECOMPILEDIR/sml.$BOOT_ARCHIVE
++fi
+ 
+ #
+ # build the run-time system
+@@ -313,7 +342,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
+@@ -330,7 +359,7 @@
+     export CM_DIR_ARC
+     CM_DIR_ARC=$ORIG_CM_DIR_ARC
+ else
+-    $CONFIGDIR/unpack $ROOT $BOOT_ARCHIVE
++    [ -n "$RECOMPILEDIR" ] || $CONFIGDIR/unpack $ROOT $BOOT_ARCHIVE
+ 
+     fish $ROOT/$BOOT_FILES/basis.cm
+ 
+@@ -399,5 +428,22 @@
+ else
+     complain "$this: !!! Installation of libraries and programs failed."
+ fi
++
++# extract required sources
++while [ -n "$MLSOURCEUNPACKTARGETS" ]
++do
++	t=`echo "$MLSOURCEUNPACKTARGETS" | cut -f 1 -d " "`
++	$CONFIGDIR/unpack $ROOT $t
++	[ "$MLSOURCEUNPACKTARGETS" = "$t" ] && break
++	MLSOURCEUNPACKTARGETS=`echo "$MLSOURCEUNPACKTARGETS" | cut -f 2- -d " "`
++done
++# apply source patches
++while [ -n "$MLSOURCEPATCHES" ]
++do
++	p=`echo "$MLSOURCEPATCHES" | cut -f 1 -d " "`
++	do_patch $p
++	[ "$MLSOURCEPATCHES" = "$p" ] && break
++	MLSOURCEPATCHES=`echo "$MLSOURCEPATCHES" | cut -f 2- -d " "`
++done
+ 
+ exit 0