X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;ds=sidebyside;f=config;h=57a679047a2da9a278dc3bc988c4b06d5413d0f7;hb=107b5e8dc73f0180e2b3f35f8ed031662bbc57fb;hp=3f870327547d8842e95e0151265821ef3f438755;hpb=e87fab526bcdadb80727bda0b84dd28b9934fa2c;p=moe.git diff --git a/config b/config index 3f87032..57a6790 100644 --- a/config +++ b/config @@ -1,5 +1,5 @@ # Configuration file for the MO Evaluator -# (c) 2001--2007 Martin Mares +# (c) 2001--2008 Martin Mares # The root of the whole directory hierarchy MO_ROOT=/mo @@ -47,12 +47,13 @@ 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 -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" +COMP=false +EXT_c_COMP='/usr/bin/gcc -std=gnu99 -O2 -g -o $EXE $EXTRA_CFLAGS $SRC -lm' +EXT_C_COMP='/usr/bin/g++ -O2 -g -o $EXE $EXTRA_CFLAGS $SRC -lm' +EXT_cpp_COMP="$EXT_C_COMP" +EXT_cc_COMP="$EXT_C_COMP" +EXT_p_COMP='/usr/bin/fpc -Ci -Cr -Ct -g -O2 -Sg -o$EXE $EXTRA_PFLAGS $SRC' +EXT_pas_COMP="$EXT_p_COMP" # Sandbox options used when compiling COMP_SANDBOX_OPTS='-m262144 -w60 -e -i/dev/null' @@ -131,7 +132,10 @@ OUTPUT_CHECK='diff -bBu $TDIR/$TEST.ok $TDIR/$TEST.out' #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' +TEST_SANDBOX_OPTS='-a2 -f -m$MEM_LIMIT -t$TIME_LIMIT $BOX_EXTRAS' + +# Extra options to be overridden in task configuration +BOX_EXTRAS= # Sandbox initialization commands SANDBOX_INIT= @@ -150,3 +154,9 @@ FREE_PASCAL_RTE=1 # DEBUG: Skip output filters (if you suspect they are buggy) #EV_NOFILTER=1 + +### Variables overrides (most variables can be overridden for specific tests or source extensions): + +#EXT_pas_TIME_LIMIT=100 +#TEST_1_TIME_LIMIT=100 +#EXT_pas_TEST_1_TIME_LIMIT=100