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 /sml/trunk/config/_ml-build
ViewVC logotype

View of /sml/trunk/config/_ml-build

Parent Directory Parent Directory | Revision Log Revision Log


Revision 652 - (download) (annotate)
Tue Jun 6 02:14:56 2000 UTC (19 years, 3 months ago) by blume
File size: 1489 byte(s)
merging changes from devel branch; new boot files
#!@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

# Provide $smlnj/cm.cm as a command-line argument just to be absolutely
# sure that structure CM is available. (Under normal circumstances it
# is already available -- even without any command line arguments.)
if $SML '$smlnj/cm.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