# The Evaluator -- Shell Function Library
-# (c) 2001--2004 Martin Mares <mj@ucw.cz>
+# (c) 2001--2007 Martin Mares <mj@ucw.cz>
# General settings
shopt -s dotglob
pend "OK"
}
-# Locating source file in SDIR, pass name in SRCN (without path) and extension in SRCEXT
+# Locate source file.
+# If no parameter is given, locate it in SDIR and return name as SRCN and extension as SRCEXT
+# Or a file name can be given and then SDIR, SRCN and SRCEXT are set.
+# Beware, SDIR and SRCN can contain spaces and other strange user-supplied characters.
function locate-source
{
pstart "Finding source... "
+ local SBASE
if [ -n "$1" ] ; then
- SRCBASE=$(echo $1 | sed 's/\.\([^.]\+\)//')
- SRCEXT=$(echo $1 | sed 's/.*\.\([^.]\+\)/\1/')
+ SDIR=`dirname "$1"`
+ local S=`basename "$1"`
+ SBASE=$(echo "$S" | sed 's/\.\([^.]\+\)//')
+ SRCEXT=$(echo "$S" | sed '/\./!d; s/.*\.\([^.]\+\)/\1/')
if [ -n "$SRCEXT" ] ; then
# Full name given, so just check the extension and existence
- SRCN=$1
- if [ ${SRCN:0:1} == / ] ; then
- SRCN=${SRCN:1}
- SDIR=
- fi
+ SRCN="$S"
[ -f "$SDIR/$SRCN" ] || die "Cannot find source file $SDIR/$SRCN"
SRCEXT_OK=
for a in $EXTENSIONS ; do
SBASE=$PROBLEM
fi
for a in $EXTENSIONS ; do
- if [ -f $SDIR/$SBASE.$a ] ; then
+ if [ -f "$SDIR/$SBASE.$a" ] ; then
[ -z "$SRCN" ] || die "Multiple source files found: $SDIR/$PROBLEM.$a and $SDIR/$SRCN. Please fix."
- SRCN=$SBASE.$a
+ SRCN="$SBASE.$a"
SRCEXT=$a
fi
done
pstart "Compiling... "
# Beware, the original SRCN can be a strange user-supplied name
SRC=$PROBLEM.$SRCEXT
- cp -a $SDIR/$SRCN $TDIR/$SRC
+ cp "$SDIR/$SRCN" $TDIR/$SRC
if [ -n "$COMP_EXTRAS" ] ; then
echo "Extras: $COMP_EXTRAS"
for a in $COMP_EXTRAS ; do cp $PDIR/$a $TDIR/ ; done
*) die "Unknown IN_TYPE $IN_TYPE"
;;
esac
+ if [ -n "$EV_PEDANT" -a $IN_TYPE != none ] ; then
+ pcont "<pedant> "
+ bin/pedant <$TDIR/$TEST.in | tr '\n' ' ' >&2
+ fi
case $OUT_TYPE in
file) echo "Output file: $PROBLEM.out"
[ $TASK_TYPE == interactive ] || BOX_EXTRAS="$BOX_EXTRAS -o/dev/null"
function syntax-check
{
[ -n "$SYNTAX_CHECK" ] || return 0
+ [ -z "$EV_NOCHECK" ] || return 0
pcont "<syntax> "
SCHECK=`eval echo $SYNTAX_CHECK`
echo "Syntax check command: $SCHECK"
function output-check
{
MSG=
- if [ -n "$OUTPUT_CHECK" -a "$OUT_TYPE" != none ] ; then
+ if [ -n "$OUTPUT_CHECK" -a "$OUT_TYPE" != none -a -z "$EV_NOCHECK" ] ; then
pcont "<check> "
[ -f $PDIR/$TEST.out ] && ln $PDIR/$TEST.out $TDIR/$TEST.ok
OCHECK=`eval echo $OUTPUT_CHECK`
mkdir -p $BOXDIR
rm -rf $BOXDIR/*
BOXCMD="$MO_ROOT/bin/box -c$BOXDIR"
- exec >log
- pend "OK (see 'log' for details)"
+ exec >check-log
+ pend "OK (see 'check-log' for details)"
}
# Locate output of open data problem, test case TEST
+# Beware, SDIR and SRCN can contain spaces and other strange user-supplied characters.
function open-locate
{
[ -f $PDIR/$TEST.in ] || die "Unknown test $TEST"
if [ -n "$1" ] ; then
- SRCN=$1
+ SDIR=`dirname "$1"`
+ SRCN=`basename "$1"`
else
SRCN=$SDIR/$PROBLEM$TEST.out
fi
- [ -f $SRCN ] || fatal "Output file $SRCN not found"
+ [ -f "$SDIR/$SRCN" ] || fatal "Output file $SRCN not found"
}