1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
|
--- config/install.sh.orig Sun Nov 20 06:32:27 2005
+++ config/install.sh Tue Apr 11 14:26:13 2006
@@ -18,6 +18,8 @@
nolib=false
fi
+[ -n "$RECOMPILEDIR" ] && echo "RECOMPILEDIR=$RECOMPILEDIR"
+
if [ x${INSTALL_QUIETLY} = xtrue ] ; then
export CM_VERBOSE
CM_VERBOSE=false
@@ -38,6 +40,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
@@ -307,7 +331,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
@@ -316,6 +345,11 @@
vsay $this: Run-time system already exists.
else
"$CONFIGDIR"/unpack "$ROOT" runtime
+ [ -n "$MLRUNTIMEPATCHES" ] && \
+ for p in $MLRUNTIMEPATCHES
+ do
+ do_patch $p
+ done
cd "$SRCDIR"/runtime/objs
echo $this: Compiling the run-time system.
$MAKE -f mk.$ARCH-$OPSYS $EXTRA_DEFS
@@ -324,7 +358,13 @@
if [ -f runx.$ARCH-$OPSYS ]; then
mv runx.$ARCH-$OPSYS "$RUNDIR"
fi
- $MAKE MAKE=$MAKE clean
+ if [ -f run.$ARCH-$OPSYS.so ]; then
+ mv run.$ARCH-$OPSYS.so "$RUNDIR"
+ fi
+ if [ -f run.$ARCH-$OPSYS.a ]; then
+ mv run.$ARCH-$OPSYS.a "$RUNDIR"
+ fi
+ [ "$MLNORUNTIMECLEAN" ] || $MAKE MAKE=$MAKE clean
else
complain "$this: !!! Run-time system build failed for some reason."
fi
@@ -350,7 +390,7 @@
complain "$this !!! Unable to re-create heap image (sml.$HEAP_SUFFIX)."
fi
else
- "$CONFIGDIR"/unpack "$ROOT" "$BOOT_ARCHIVE"
+ [ -n "$RECOMPILEDIR" ] || "$CONFIGDIR"/unpack "$ROOT" "$BOOT_ARCHIVE"
fish "$ROOT"/"$BOOT_FILES"/smlnj/basis
@@ -421,5 +461,12 @@
complain "$this: !!! Installation of libraries and programs failed."
fi
fi
+
+# apply source patches
+[ -n "$MLSOURCEPATCHES" ] && \
+for p in $MLSOURCEPATCHES
+do
+ do_patch $p
+done
exit 0
|
