function public-setup
{
- HDIR=$MO_PUBLIC
- PDIR=$MO_PUBLIC/problems/$PROBLEM
+ HDIR=$MO_ROOT
+ PDIR=$MO_ROOT/problems/$PROBLEM
SDIR=.
TDIR=~/.test
TMPDIR=~/.test
BOXDIR=~/.box
mkdir -p $BOXDIR
rm -rf $BOXDIR/*
- BOXCMD="$MO_PUBLIC/bin/box -c$BOXDIR"
+ BOXCMD="$MO_ROOT/bin/box -c$BOXDIR"
exec >log
pend "OK (see 'log' for details)"
}
# (c) 2001--2004 Martin Mares <mj@ucw.cz>
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 "$MO_ROOT" -a -d "$MO_ROOT" ] || { echo >&2 "MO_ROOT not set, giving up." ; exit 1 ; }
+. $MO_ROOT/bin/lib
+. $MO_ROOT/config
[ -n "$1" ] || die "Usage: check <problem> [<test-number>]"
PROBLEM=$1
# (c) 2001 Martin Mares <mj@ucw.cz>
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 "$MO_ROOT" -a -d "$MO_ROOT" ] || { echo >&2 "MO_ROOT not set, giving up." ; exit 1 ; }
+. $MO_ROOT/bin/lib
+. $MO_ROOT/config
[ -n "$1" ] || die "Usage: compile (<problem> | <file> [<options>])"
if [ "${1%%.*}" == "$1" ] ; then
# (c) 2004 Martin Mares <mj@ucw.cz>
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 "$MO_ROOT" -a -d "$MO_ROOT" ] || { echo >&2 "MO_ROOT not set, giving up." ; exit 1 ; }
+. $MO_ROOT/bin/lib
+. $MO_ROOT/config
[ -z "$1" ] || die "Usage: status"
echo -e "Submitted tasks:\n"
-for PROBLEM in `cd $MO_PUBLIC/problems/ ; echo *` ; do
+for PROBLEM in `cd $MO_ROOT/problems/ ; echo *` ; do
(
- PDIR=$MO_PUBLIC/problems/$PROBLEM
+ PDIR=$MO_ROOT/problems/$PROBLEM
SUBDIR=~/.submit/$PROBLEM
[ -f $PDIR/config ] || exit 0
echo -n "$PROBLEM: "
# (c) 2001--2004 Martin Mares <mj@ucw.cz>
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 "$MO_ROOT" -a -d "$MO_ROOT" ] || { echo >&2 "MO_ROOT not set, giving up." ; exit 1 ; }
+. $MO_ROOT/bin/lib
+. $MO_ROOT/config
FORCE=0
if [ "$1" = --force ] ; then
-export MO_PUBLIC=/aux/mo/public
-PATH=$PATH:$MO_PUBLIC/bin
+export MO_ROOT=/aux/mo/public
+PATH=$PATH:$MO_ROOT/bin