X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;f=config;h=0c56c5b260f9381124c22c83dfce91dcf812a5df;hb=65517c0cd75d3c846d8e8304c414e9d63d155ecc;hp=8e8861243cbaaf8aa3264fe7941d5249ffd3c91a;hpb=b2cd4a0eedc0a59821d144b2edde40a95ea7f522;p=moe.git diff --git a/config b/config index 8e88612..0c56c5b 100644 --- a/config +++ b/config @@ -52,13 +52,19 @@ COMP=false # Sandbox options used when compiling COMP_SANDBOX_OPTS='-m262144 -w60 -e -i/dev/null' -# Sandbox initialization commands for compilation -COMP_SANDBOX_INIT= +# Extra per-language sandbox options used when testing +LANG_SANDBOX_OPTS= # Translation of runtime errors: a function, which receives the exit code as an argument and # if it is recognized as a runtime error code, it prints its name to the standard output. EXIT_CODE_HOOK= +# Hooks which can alter the contents of the sandbox in $BOXDIR before/after compilation/running +PRE_COMPILE_HOOK= +POST_COMPILE_HOOK= +PRE_RUN_HOOK= +POST_RUN_HOOK= + ## Settings for individual languages # C @@ -147,14 +153,11 @@ 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 $BOX_EXTRAS' +TEST_SANDBOX_OPTS='-a2 -f -m$MEM_LIMIT -t$TIME_LIMIT $LANG_SANDBOX_OPTS $BOX_EXTRAS' # Extra options to be overridden in task configuration BOX_EXTRAS= -# Sandbox initialization commands -SANDBOX_INIT= - ### Debugging and testing # DEBUG: Let `ev' run sample tests, too.