SCM Repository
View of /sml/trunk/config/_ml-build
Parent Directory
|
Revision Log
Revision 573 -
(download)
(annotate)
Thu Mar 9 15:23:52 2000 UTC (20 years, 10 months ago) by blume
File size: 1278 byte(s)
Thu Mar 9 15:23:52 2000 UTC (20 years, 10 months ago) by blume
File size: 1278 byte(s)
merging back changes from blume_devel_v110_26_2
#!@SHELL@ BIN_DIR=@BINDIR@ SML=$BIN_DIR/sml LINK=$BIN_DIR/.link-sml thisscript=$0 xx=$$ smlfile=$xx-export.sml cmfile=$xx-export.cm listfile=$xx-BOOTLIST mlscript=$xx-script trap 'rm -rf `find . -name $smlfile` $cmfile $listfile $mlscript' 0 1 2 3 15 usage() { echo ${thisscript}: $* echo Usage: $thisscript root-group main-function heapfile exit 1 } if [ $# != 3 ] ; then usage wrong number of arguments fi root=$1 main=$2 heap=$3 rare=XYZ_XXX_0123 cat >$smlfile <<EOF structure ${rare} = struct val _ = SMLofNJ.exportFn ("${heap}", ${main}) end EOF cat >$cmfile <<EOF Group structure ${rare} is basis.cm ${root} ${smlfile} EOF cat >$mlscript <<EOF ignore (OS.Process.exit ((case CM.mk_standalone NONE "${cmfile}" of NONE => OS.Process.failure | SOME l => let val s = TextIO.openOut "${listfile}" fun wr str = TextIO.output (s, str ^ "\n") val n = length l fun maxsz (s, n) = Int.max (size s, n) val m = foldl maxsz 0 l in wr (concat ["%", Int.toString n, " ", Int.toString m]); app wr l; TextIO.closeOut s; OS.Process.success end) handle _ => OS.Process.failure)) EOF if $SML smlnj/cm/full.cm <$mlscript ; then $LINK @SMLboot=$listfile $ else echo Compilation failed. exit 1 fi
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |