#!/bin/csh -f
# 
# Low tech script to build version of compiler without the banner
# and gc messages turned off.
# arg1 = sml executable, 
# arg2 = tsml - full pathname
#

if ($#argv != 2) then
	echo Usage error
   	echo Use mktsml sml tsml
   	exit 1
endif
 
set SML = $1
set TSML = $2

if (!(-e $SML))  then
	echo mktsml: Error $SML does not exist
	exit(1)
endif

$SML << xxx > /dev/null
  	System.Control.Runtime.gcmessages := 0;
  	System.Control.primaryPrompt:="";
  	System.Control.secondaryPrompt:="";
  	(exportML "$TSML";());
xxx
