]> mj.ucw.cz Git - eval.git/blobdiff - config
Split off mo-create-eval from mo-install.
[eval.git] / config
diff --git a/config b/config
index 8dbd9c3f67612ca7fddbdeb50e697080120faa96..768d52a526d8104266b0baa6341ebecf4816b410 100644 (file)
--- a/config
+++ b/config
@@ -55,7 +55,7 @@ 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 -w60 -e -i/dev/null'
+COMP_SANDBOX_OPTS='-m262144 -w60 -e -i/dev/null'
 
 # Sandbox initialization commands for compilation
 COMP_SANDBOX_INIT=
@@ -129,3 +129,12 @@ TEST_SANDBOX_OPTS='-a2 -f -m$MEM_LIMIT -t$TIME_LIMIT'
 
 # 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