path: root/examples/sml/run.sh

#!/bin/sh

abort () {
    if [ "x$1" != "x" ]; then
	echo "$1"
    fi
    printf "\n\n{\"scores\": {}}"
    exit 0
}

[ -d handin ] || mkdir handin

[ -f handin.tar ] || \
    abort "Submission is expected to be at handin.tar. This file does not exist!"

tar -xf handin.tar -C handin || \
    abort "Failed to extract submission."

ml-build sources.cm Main.main grader || \
    abort "Failed to compile autograder. Please contact course staff."

sml @SMLload grader.* || \
    abort "SML autograder exited with error. Please contact course staff."