polyrun

#!/bin/bash
#
# polyrun - run a SML program defined in a SML or MLB file using Poly/ML
#
# Chris Cannam, 2015-2018. MIT licence

set -e

usage() {
    me=$(basename "$0")
    echo 1>&2
    echo "$me: Run a SML program defined in a MLB file using Poly/ML" 1>&2
    echo 1>&2
    echo "Usage: $me file.sml" 1>&2
    echo "       $me [-u] file.mlb" 1>&2
    echo 1>&2
    echo "where" 1>&2
    echo "   -u: Unique: \"use\" each file only once, regardless of how many times it" 1>&2
    echo "       appears in the MLB file. See \"polybuild\" for discussion." 1>&2
    echo 1>&2
    exit 2
}
    
unique_arg=""
if [ "$1" = "-u" ]; then
    unique_arg="-u"
    shift
fi

arg="$1"

if [ -z "$arg" ]; then
    usage
fi

shift
set -u

mydir=$(dirname "$0")
. "$mydir/smlbuild-include.sh"

out=$(get_outfile "$arg")
tmpobj=$(get_tmpobjfile "$arg")
tmpout=$(get_tmpfile "$arg")
trap "rm -f ${tmpobj} ${tmpout}" 0

( expand_arg $unique_arg "$arg" | \
	sed 's|^\(.*\)$|use "\1";|' ;
  echo 'PolyML.export("'"$tmpobj"'", main);' ) | \
    poly -q --error-exit &&
    polyc -o "$tmpout" "$tmpobj" &&
    "$tmpout" "$@"