# The Evaluator -- Public Submit Script # (c) 2001 Martin Mares set -e [ -n "$MO_PUBLIC" -a -d "$MO_PUBLIC" ] || { echo >&2 "MO_PUBLIC not set, giving up." ; exit 1 ; } . $MO_PUBLIC/bin/lib . $MO_PUBLIC/config [ -n "$1" ] || die "Usage: submit " PROBLEM=$1 public-setup . $PDIR/config locate-source compile PTSFILE=$TDIR/points for TEST in $SAMPLE_TESTS ; do pstart "Checking on sample input $TEST: " test-run syntax-check pend "OK" done pstart "Submiting: " mkdir -p ~/.submit/$PROBLEM rm -rf ~/.submit/$PROBLEM/* cp $SRCN ~/.submit/$PROBLEM/ pend "OK"