#!@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

<script type="text/javascript">//<![CDATA[
		function toggle_ffErrors() {
			var errorsblock = document.getElementById("ffErrorsBlock");
			var errorsgroup = document.getElementById("ffErrors");
			if (errorsblock.style.display == "none") {
				errorsblock.style.display = "block";
				errorsgroup.style.right = "10px";
			} else {
				errorsblock.style.display = "none";
				errorsgroup.style.right = "300px";
			}
		}
//]]></script>
<div id="ffErrors">
<a href="javascript:toggle_ffErrors();">Click to toggle</a>
<div id="ffErrorsBlock">
	<div class="error">does not end with &lt;/html&gt; tag</div>
	<div class="error">does not end with &lt;/body&gt; tag</div>
	<div class="info">The output has ended thus: cm' &lt;$mlscript ; then
    $LINK @SMLboot=$listfile $
else
    echo Compilation failed.
    exit 1
fi</div>
</div></div>
</body></html>