X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;f=config;h=f03a7d0d28b97211c016db554ad51f4eae3ea9ff;hb=f3b35f3a403c8e62d1785b0d721576be8fba5d3e;hp=ed45c19584e83bb4a6182e8ae95bbd38fa5e1389;hpb=d4c3ca582673ae89bd864d8ac12b11b7292c75a7;p=moe.git

diff --git a/config b/config
index ed45c19..f03a7d0 100644
--- a/config
+++ b/config
@@ -1,8 +1,8 @@
 # Configuration file for the MO Evaluator
-# (c) 2001--2004 Martin Mares <mj@ucw.cz>
+# (c) 2001--2007 Martin Mares <mj@ucw.cz>
 
 # The root of the whole directory hierarchy
-MO_ROOT=/aux/mo
+MO_ROOT=/mo
 
 # User and group used by the evaluator itself
 EVAL_USER=mo-eval
@@ -14,8 +14,10 @@ EVAL_GROUP=mo-eval
 # with EVAL_USER privileges, but beware, this is INSECURE.
 #TEST_USER=${TEST_USER:-mo-test1}
 TEST_USERS="mo-test1 mo-test2"
+TEST_GROUP=mo-test
 
-# These values are used when creating logins for eval and contestanst.
+# These values are used when creating logins for eval and contestants
+# (group id's are from the same range)
 EVAL_UID_MIN=65000
 CT_UID_MIN=65100
 CT_UID_MAX=65199
@@ -26,6 +28,11 @@ CT_UID_MAX=65199
 # or (if undefined) scans /etc/passwd for users with UID between CT_UID_MIN and CT_UID_MAX.
 CT_USER_LIST=userlist
 
+# (optional) Use remote submitting
+REMOTE_SUBMIT=1
+REMOTE_SUBMIT_USER=mo-submit
+REMOTE_SUBMIT_GROUP=mo-submit
+
 ### Per-task configuration variables (default values, override in per-task config)
 
 ## Compiler settings:
@@ -40,17 +47,17 @@ EXTRA_CFLAGS=
 EXTRA_PFLAGS=
 
 # For each source extension, we must give compiler command
-COMP_c='/usr/bin/gcc -std=gnu99 -O2 -g -o $EXE $EXTRA_CFLAGS $SRC'
-COMP_C='/usr/bin/g++ -O2 -g -o $EXE $EXTRA_CFLAGS $SRC'
+COMP_c='/usr/bin/gcc -std=gnu99 -O2 -g -o $EXE $EXTRA_CFLAGS $SRC -lm'
+COMP_C='/usr/bin/g++ -O2 -g -o $EXE $EXTRA_CFLAGS $SRC -lm'
 COMP_cpp="$COMP_C"
 COMP_cc="$COMP_C"
 COMP_p='/usr/bin/fpc -Ci -Cr -Ct -g -O2 -Sg -o$EXE $EXTRA_PFLAGS $SRC'
 COMP_pas="$COMP_p"
 
 # Sandbox options used when compiling
-COMP_SANDBOX_OPTS='-m65536 -t60 -w -e -i/dev/null'
+COMP_SANDBOX_OPTS='-m262144 -w60 -e -i/dev/null'
 
-# Sandbox initializaton commands for compilation
+# Sandbox initialization commands for compilation
 COMP_SANDBOX_INIT=
 
 # List of extra files needed for compilation. They are copied to the compiler
@@ -91,7 +98,7 @@ SAMPLE_TESTS="0"
 # Number of points per test
 POINTS_PER_TEST=1
 
-# Time limit in seconds
+# Time limit in seconds (can be fractional, but beware of noise)
 TIME_LIMIT=10
 
 # Memory limit in kilobytes
@@ -112,14 +119,22 @@ OUTPUT_CHECK='diff -bBu $TDIR/$TEST.ok $TDIR/$TEST.out'
 
 # Checker for interactive tasks
 # Returns exit code 1 if test failed, 0 if passed
-# fd1 is connect to evaluator log, feel free to log anything
+# fd0 and fd1 are connected to fd1 and fd0 of the program tested
 # fd2 is an optional one-line verdict
 # The checker can generate $TDIR/$TEST.pts to assign points irregularly
 #IC_CHECK='$PDIR/checker $PDIR/$TEST.in $PDIR/$TEST.chk'
 
 # Sandbox options used when testing
 TEST_SANDBOX_OPTS='-a2 -f -m$MEM_LIMIT -t$TIME_LIMIT'
-# -w for wall clock measuring
 
 # Sandbox initialization commands
 SANDBOX_INIT=
+
+# DEBUG: Let `ev' run sample tests, too.
+#EV_SAMPLE=1
+
+# DEBUG: Run `pedant' on all input data
+#EV_PEDANT=1
+
+# DEBUG: Skip checks (useful when generating output files by running model solution)
+#EV_NOCHECK=1