X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;ds=inline;f=config;h=3f870327547d8842e95e0151265821ef3f438755;hb=58850660666010fcd997bdcc96ad47bebcc2665d;hp=768d52a526d8104266b0baa6341ebecf4816b410;hpb=6493c533ffbb60605df2c8cbbb0a3493f8431bba;p=eval.git diff --git a/config b/config index 768d52a..3f87032 100644 --- a/config +++ b/config @@ -47,8 +47,8 @@ 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' @@ -104,6 +104,12 @@ TIME_LIMIT=10 # Memory limit in kilobytes MEM_LIMIT=16384 +# Command used for filtering of program output (optional) +# If turned on, program output (*.raw) is ran through this filter and the +# checkers are applied to the output of the filter (*.out). +# Can exit with code 1 if there is a syntax error in the output. +#OUTPUT_FILTER='tr -d '\''\r'\'' <$TDIR/$TEST.raw >$TDIR/$TEST.out' + # Command used to check output syntax (optional) # Returns exit code 1 if syntax is wrong, 0 if correct # fd1 is connect to evaluator log, feel free to log anything @@ -130,11 +136,17 @@ TEST_SANDBOX_OPTS='-a2 -f -m$MEM_LIMIT -t$TIME_LIMIT' # Sandbox initialization commands SANDBOX_INIT= +# Translate FreePascal exit codes to names of well-known runtime errors +FREE_PASCAL_RTE=1 + # DEBUG: Let `ev' run sample tests, too. #EV_SAMPLE=1 -# DEBUG: Run `pedant' on all input data +# DEBUG: Run `pedant' on all input data. Set either to `1' or to pedant's options. #EV_PEDANT=1 # DEBUG: Skip checks (useful when generating output files by running model solution) #EV_NOCHECK=1 + +# DEBUG: Skip output filters (if you suspect they are buggy) +#EV_NOFILTER=1