]> mj.ucw.cz Git - eval.git/blob - config
Separate per-language settings.
[eval.git] / config
1 # Configuration file for the MO Evaluator
2 # (c) 2001--2008 Martin Mares <mj@ucw.cz>
3
4 # The root of the whole directory hierarchy
5 MO_ROOT=/mo
6
7 # User and group used by the evaluator itself
8 EVAL_USER=mo-eval
9 EVAL_GROUP=mo-eval
10
11 # Test user for the sandbox. You can let mo-setup create more test users
12 # and then run several evaluators in parallel, each in its own sandbox.
13 # For testing, you can also leave TEST_USER undefined and run the sandbox
14 # with EVAL_USER privileges, but beware, this is INSECURE.
15 #TEST_USER=${TEST_USER:-mo-test1}
16 TEST_USERS="mo-test1 mo-test2"
17 TEST_GROUP=mo-test
18
19 # These values are used when creating logins for eval and contestants
20 # (group id's are from the same range)
21 EVAL_UID_MIN=65000
22 CT_UID_MIN=65100
23 CT_UID_MAX=65199
24
25 # Sometimes we need to get a list of all contestants (not in the evaluator
26 # itself, but in various auxiliary scripts). In such cases we call mo-get-users,
27 # which either uses an explicit list of contestants CT_USER_LIST (username<tab>fullname),
28 # or (if undefined) scans /etc/passwd for users with UID between CT_UID_MIN and CT_UID_MAX.
29 CT_USER_LIST=userlist
30
31 # (optional) Use remote submitting
32 REMOTE_SUBMIT=1
33 REMOTE_SUBMIT_USER=mo-submit
34 REMOTE_SUBMIT_GROUP=mo-submit
35
36 ### Programming language settings
37
38 # Known source file extensions
39 EXTENSIONS="c cc C cpp p pas"
40
41 ## Variables which control compilation and execution
42 ## (see below for values for individual languages)
43
44 # Command used to run the compiler
45 COMP=false
46
47 # Sandbox options used when compiling
48 COMP_SANDBOX_OPTS='-m262144 -w60 -e -i/dev/null'
49
50 # Sandbox initialization commands for compilation
51 COMP_SANDBOX_INIT=
52
53 ## Settings for individual languages
54
55 # C
56 EXT_c_COMP='/usr/bin/gcc -std=gnu99 -O2 -g -o $EXE $EXTRA_CFLAGS $SRC -lm'
57 EXTRA_CFLAGS=
58
59 # C++
60 EXT_C_COMP='/usr/bin/g++ -O2 -g -o $EXE $EXTRA_CXXFLAGS $SRC -lm'
61 EXT_cpp_COMP="$EXT_C_COMP"
62 EXT_cc_COMP="$EXT_C_COMP"
63 EXTRA_CXXFLAGS=
64
65 # Pascal
66 EXT_p_COMP='/usr/bin/fpc -Ci -Cr -Ct -g -O2 -Sg -o$EXE $EXTRA_PFLAGS $SRC'
67 EXT_pas_COMP="$EXT_p_COMP"
68 EXTRA_PFLAGS=
69
70 # Translate FreePascal exit codes to names of well-known runtime errors
71 FREE_PASCAL_RTE=1
72
73 ### Per-task configuration variables (default values, override in per-task config)
74
75 # List of extra files needed for compilation. They are copied to the compiler
76 # sandbox from the problem's directory.
77 #COMP_EXTRAS="extras.h"
78
79 ## Tester settings (most can be overriden in per-test config):
80
81 # The following variables are automatically set by the evaluator:
82 # PROBLEM       name of the problem
83 # HDIR          home directory of the evaluator (i.e., this file is $HDIR/config)
84 # PDIR          directory containing problem data
85 # SDIR          directory containing contestant's solution
86 # TDIR          directory containing testing results
87 # TMPDIR        directory containing temporary files
88 # TEST          name of the current test
89
90 # Task type:
91 # offline       off-line task
92 # interactive   interactive task communicating via stdio with a testing program
93 # open-data     open-data task (i.e., we don't submit program, but output files)
94 TASK_TYPE=file
95
96 # I/O type (IO_TYPE sets defaults for IN_TYPE and OUT_TYPE)
97 # file          input from $PROBLEM.in, output to $PROBLEM.out (possible even for interactive tasks)
98 # stdio         input from stdin, output to stdout
99 # none          no input/output
100 IO_TYPE=stdio
101 #IN_TYPE=stdio
102 #OUT_TYPE=stdio
103
104 # A list of all tests
105 TESTS="1 2 3 4 5 6 7 8 9 10"
106
107 # A list of public tests (executed by submit and check scripts)
108 SAMPLE_TESTS="0"
109
110 # Number of points per test
111 POINTS_PER_TEST=1
112
113 # Time limit in seconds (can be fractional, but beware of noise)
114 TIME_LIMIT=10
115
116 # Memory limit in kilobytes
117 MEM_LIMIT=16384
118
119 # Command used for filtering of program output (optional)
120 # If turned on, program output (*.raw) is ran through this filter and the
121 # checkers are applied to the output of the filter (*.out).
122 # Can exit with code 1 if there is a syntax error in the output.
123 #OUTPUT_FILTER='tr -d '\''\r'\'' <$TDIR/$TEST.raw >$TDIR/$TEST.out'
124
125 # Command used to check output syntax (optional)
126 # Returns exit code 1 if syntax is wrong, 0 if correct
127 # fd1 is connect to evaluator log, feel free to log anything
128 # fd2 is an optional one-line verdict
129 #SYNTAX_CHECK='grep -v -- - $TDIR/$TEST.out'
130
131 # Command used to check output correctness
132 # Returns exit code 1 if output is incorrect, 0 if correct
133 # fd1 is connect to evaluator log, feel free to log anything
134 # fd2 is an optional one-line verdict
135 # The checker can generate $TDIR/$TEST.pts to assign points irregularly
136 OUTPUT_CHECK='diff -bBu $TDIR/$TEST.ok $TDIR/$TEST.out'
137
138 # Checker for interactive tasks
139 # Returns exit code 1 if test failed, 0 if passed
140 # fd0 and fd1 are connected to fd1 and fd0 of the program tested
141 # fd2 is an optional one-line verdict
142 # The checker can generate $TDIR/$TEST.pts to assign points irregularly
143 #IC_CHECK='$PDIR/checker $PDIR/$TEST.in $PDIR/$TEST.chk'
144
145 # Sandbox options used when testing
146 TEST_SANDBOX_OPTS='-a2 -f -m$MEM_LIMIT -t$TIME_LIMIT $BOX_EXTRAS'
147
148 # Extra options to be overridden in task configuration
149 BOX_EXTRAS=
150
151 # Sandbox initialization commands
152 SANDBOX_INIT=
153
154 ### Debugging and testing
155
156 # DEBUG: Let `ev' run sample tests, too.
157 #EV_SAMPLE=1
158
159 # DEBUG: Run `pedant' on all input data. Set either to `1' or to pedant's options.
160 #EV_PEDANT=1
161
162 # DEBUG: Skip checks (useful when generating output files by running model solution)
163 #EV_NOCHECK=1
164
165 # DEBUG: Skip output filters (if you suspect they are buggy)
166 #EV_NOFILTER=1
167
168 ### Variables overrides (most variables can be overridden for specific tests or source extensions):
169
170 #EXT_pas_TIME_LIMIT=100
171 #TEST_1_TIME_LIMIT=100
172 #EXT_pas_TEST_1_TIME_LIMIT=100