#!/bin/bash
usage() {
	echo "Usage: $0 SPLSOURCE [-o OFILE]" >&2
	exit 1
}
if [ $# -lt 1 ]
then
	usage
fi
if [ $# -eq 3 ]
then
	if [ $2 != "-o" ]
	then
		usage
	fi
	OFILE=$3
else
	OFILE=a.out
fi
make
./splc < "$1"

SSM="${SSM:-ssm}"
SSMFLAGS="${SSMFLAGS:---cli}"
set -xe
$SSM $SSMFLAGS --file a.ssm