public/check

   1 # The Evaluator -- Public Checking Script
   2 # (c) 2001 Martin Mares <mj@ucw.cz>
   3
   4 set -e
   5 [ -n "$MO_PUBLIC" -a -d "$MO_PUBLIC" ] || { echo >&2 "MO_PUBLIC not set, giving up." ; exit 1 ; }
   6 . $MO_PUBLIC/bin/lib
   7 . $MO_PUBLIC/config
   8
   9 [ -n "$1" ] || die "Usage: check <problem> [<file>]"
  10 PROBLEM=$1
  11 public-setup
  12 . $PDIR/config
  13 PTSFILE=$TDIR/points
  14 if [ -n "$OPEN_DATA_PROBLEM" ] ; then
  15         [ -n "$2" ] || die "You need to specify test number for open data problems."
  16         TEST=$2
  17         open-locate
  18         pstart "Checking $TEST: "
  19         syntax-check
  20         pend "OK"
  21 else
  22         [ -z "$2" ] || die "No test number should be specified for normal problems."
  23         locate-source
  24         compile
  25         for TEST in $SAMPLE_TESTS ; do
  26                 pstart "Checking on sample input $TEST: "
  27                 test-run
  28                 syntax-check
  29                 output-check
  30                 pend "OK"
  31         done
  32 fi