public/submit

   1 # The Evaluator -- Public Submit 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: submit <problem>"
  10 PROBLEM=$1
  11 public-setup
  12 . $PDIR/config
  13 locate-source
  14 compile
  15 TEST=$SAMPLE_TEST
  16 PTSFILE=$TDIR/points
  17 pstart "Checking on sample input: "
  18 test-run
  19 syntax-check
  20 pend "OK"
  21 pstart "Submiting: "
  22 mkdir -p ~/.submit/$PROBLEM
  23 rm -rf ~/.submit/$PROBLEM/*
  24 cp $SRCN ~/.submit/$PROBLEM/
  25 pend "OK"