Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /ml-burg/trunk/build
ViewVC logotype

View of /ml-burg/trunk/build

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2280 - (download) (annotate)
Tue Jan 30 23:24:28 2007 UTC (12 years, 6 months ago) by blume
File size: 1017 byte(s)
added automatic CM tool installation
#!/bin/sh
#
# build script for ml-burg under the new runtime system.
#
# options:
#   -o image		-- specify the name of the heap image, "ml-burg"
#			   is the default.

CMD=$0

ROOT="ml-burg"
HEAP_IMAGE=""
SMLNJROOT=`pwd`/..
BIN=${INSTALLDIR:-$SMLNJROOT}/bin
LIB=${INSTALLDIR:-$SMLNJROOT}/lib
BUILD=$BIN/ml-build
SML=$BIN/sml

#
# 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 the ml-burg standalone program:
"$BUILD" ml-burg.cm Main.main $HEAP_IMAGE

#
# Install CM support for ml-burg:
"$SML" -m \$smlnj/library-install.cm \
    tool/mlburg-tool.cm ${LIB} mlburg-tool.cm/mlburg-tool.cm
"$SML" -m \$smlnj/library-install.cm \
    tool/burg-ext.cm ${LIB} burg-ext.cm/burg-ext.cm

exit 0

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0