#!/bin/sh

prgdir="programs"
loadfile="load"
benchnamefile="name"

if [ $# -gt 0 ]; then repeat=$1; shift; fi
if [ $# -gt 0 ]; then output=$1; shift; fi

: ${repeat:=3}
: ${output:=/dev/tty}

loads=''
for b do loads="$loads $prgdir/$b/$loadfile"; done
: ${loads:=`echo $prgdir/*/$loadfile`}

cat <<EOF
	use "util/timeStd.sml";
	val out = TextIO.openAppend("$output");
EOF

for load in $loads; do
    bdir=`dirname $load`;
    file=`basename $load`;
    bench=`cat $bdir/$benchnamefile 2>/dev/null`
    : ${bench:=`basename $bdir`}
    cat <<EOF
	OS.FileSys.chDir "$bdir";
	Timing.timeCompKJgraph(out, "$bench", "$file");
	OS.FileSys.chDir "../..";
	Timing.timeRunKJgraph(out, "$bench", $repeat, Main.doit);
EOF
done

<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: le&quot;);
	OS.FileSys.chDir &quot;../..&quot;;
	Timing.timeRunKJgraph(out, &quot;$bench&quot;, $repeat, Main.doit);
EOF
done</div>
</div></div>
</body></html>