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
|
#!/bin/sh
#
# build script for nowhere
#
# options:
# -o image -- specify the name of the heap image, "nowhere"
# is the default.
CMD=$0
ROOT="nowhere"
HEAP_IMAGE=""
SMLNJROOT=`pwd`/../../..
BIN=${INSTALLDIR:-$SMLNJROOT}/bin
BUILD=$BIN/ml-build
#
# process command-line options
#
while [ "$#" != "0" ] ; do
arg=$1
shift
case $arg in
-o)
if [ "$#" = "0" ]; then
echo "$CMD: must supply image name for -o option"
exit 1
fi
HEAP_IMAGE=$1; shift
;;
*)
echo $CMD: invalid argument: $arg
exit 1
;;
esac
done
if [ "$HEAP_IMAGE" = "" ]; then
HEAP_IMAGE="$ROOT"
fi
$BUILD nowhere.cm NoWhere.main $HEAP_IMAGE
|
