Description:
add haskell
Commit status:
[Not Reviewed]
References:
Diff options:
Comments:
0 Commit comments
0 Inline Comments
Unresolved TODOs:
There are no unresolved TODOs
Author
-
r220:659f719af507 - - 2 files changed: 2 inserted, 2 deleted
| @@ -32,49 +32,49 | |||||
|
|
32 | log msg |
|
32 | log msg |
|
|
33 | raise msg |
|
33 | raise msg |
|
|
34 | end |
|
34 | end |
|
|
35 | end |
|
35 | end |
|
|
36 |
|
36 | ||
|
|
37 | def clear_and_create_empty_dir(dir) |
|
37 | def clear_and_create_empty_dir(dir) |
|
|
38 | FileUtils.rm_rf(dir, :secure => true) |
|
38 | FileUtils.rm_rf(dir, :secure => true) |
|
|
39 | call_and_log("Cannot make directory #{dir}.") { FileUtils.mkdir(dir) } |
|
39 | call_and_log("Cannot make directory #{dir}.") { FileUtils.mkdir(dir) } |
|
|
40 | end |
|
40 | end |
|
|
41 |
|
41 | ||
|
|
42 | # ARGV[0] --- language |
|
42 | # ARGV[0] --- language |
|
|
43 | # ARGV[1] --- program source file |
|
43 | # ARGV[1] --- program source file |
|
|
44 | # ARGV[2] --- test result directory |
|
44 | # ARGV[2] --- test result directory |
|
|
45 | # ARGV[3] --- sandbox directory |
|
45 | # ARGV[3] --- sandbox directory |
|
|
46 |
|
46 | ||
|
|
47 | if ARGV.length < 2 || ARGV.length > 4 |
|
47 | if ARGV.length < 2 || ARGV.length > 4 |
|
|
48 | puts "Usage: judge <language> <program-source> [<test-result-directory>] [<sandbox-directory>]" |
|
48 | puts "Usage: judge <language> <program-source> [<test-result-directory>] [<sandbox-directory>]" |
|
|
49 | puts " <sandbox-directory> is defaulted to ./sandbox" |
|
49 | puts " <sandbox-directory> is defaulted to ./sandbox" |
|
|
50 | puts " <test-result-directory> is defaulted to ./test-result" |
|
50 | puts " <test-result-directory> is defaulted to ./test-result" |
|
|
51 | puts "WARNING: The judge script will forcefully create the (implicitly and explicitly) specified directories and remove anything inside it." |
|
51 | puts "WARNING: The judge script will forcefully create the (implicitly and explicitly) specified directories and remove anything inside it." |
|
|
52 | exit(127) |
|
52 | exit(127) |
|
|
53 | end |
|
53 | end |
|
|
54 |
|
54 | ||
|
|
55 | language = ARGV[0] |
|
55 | language = ARGV[0] |
|
|
56 | - if language != "c" && language != "c++" && language != "pas" && language != "java" && language != "ruby" && language != "python" && language != "php" |
|
56 | + if language != "c" && language != "c++" && language != "pas" && language != "java" && language != "ruby" && language != "python" && language != "php" && language != "haskell" |
|
|
57 | log "You specified a language that is not supported: #{language}." |
|
57 | log "You specified a language that is not supported: #{language}." |
|
|
58 | exit(127) |
|
58 | exit(127) |
|
|
59 | end |
|
59 | end |
|
|
60 |
|
60 | ||
|
|
61 | source_file = ARGV[1] |
|
61 | source_file = ARGV[1] |
|
|
62 | ENV['SOURCE_NAME'] = source_file |
|
62 | ENV['SOURCE_NAME'] = source_file |
|
|
63 | if File.exist?(source_file) == false |
|
63 | if File.exist?(source_file) == false |
|
|
64 | log "The source file does not exist." |
|
64 | log "The source file does not exist." |
|
|
65 | exit(127) |
|
65 | exit(127) |
|
|
66 | end |
|
66 | end |
|
|
67 |
|
67 | ||
|
|
68 | log "Making test result and sandbox directories..." |
|
68 | log "Making test result and sandbox directories..." |
|
|
69 |
|
69 | ||
|
|
70 | current_dir = FileUtils.pwd |
|
70 | current_dir = FileUtils.pwd |
|
|
71 | current_dir.strip! |
|
71 | current_dir.strip! |
|
|
72 |
|
72 | ||
|
|
73 | if ARGV.length >= 3 |
|
73 | if ARGV.length >= 3 |
|
|
74 | test_result_dir = ARGV[2] |
|
74 | test_result_dir = ARGV[2] |
|
|
75 | else |
|
75 | else |
|
|
76 | test_result_dir = "#{current_dir}/test-result" |
|
76 | test_result_dir = "#{current_dir}/test-result" |
|
|
77 | end |
|
77 | end |
|
|
78 |
|
78 | ||
|
|
79 | log "Test result directory: #{test_result_dir}" |
|
79 | log "Test result directory: #{test_result_dir}" |
|
|
80 | clear_and_create_empty_dir(test_result_dir) |
|
80 | clear_and_create_empty_dir(test_result_dir) |
| @@ -90,49 +90,49 | |||||
|
|
90 | #run_command = "/usr/bin/time -f \"#{time_output_format}\" 2>run_result #{problem_home}/script/box_new -a 2 -f -t #{time_limit} -m #{mem_limit} -i #{input_file_name} -o output.txt #{program_name}" |
|
90 | #run_command = "/usr/bin/time -f \"#{time_output_format}\" 2>run_result #{problem_home}/script/box_new -a 2 -f -t #{time_limit} -m #{mem_limit} -i #{input_file_name} -o output.txt #{program_name}" |
|
|
91 | # |
|
91 | # |
|
|
92 |
|
92 | ||
|
|
93 | JAVA_OPTION = "-s set_robust_list -s futex -s clone -s getppid -s clone -s wait4 -p /usr/bin/ -p ./" |
|
93 | JAVA_OPTION = "-s set_robust_list -s futex -s clone -s getppid -s clone -s wait4 -p /usr/bin/ -p ./" |
|
|
94 | RUBY_OPTION = "-p /usr/lib64/ -p /usr/local/lib64/ -p /usr/local/lib/ -p /lib64/ -p /dev/urandom -p #{sandbox_dir}/#{program_name} -p #{sandbox_dir}/ -s set_robust_list -s sched_getaffinity -s clock_gettime -s sigaltstack -s pipe2 -s clone -s futex -s openat -s pipe" |
|
94 | RUBY_OPTION = "-p /usr/lib64/ -p /usr/local/lib64/ -p /usr/local/lib/ -p /lib64/ -p /dev/urandom -p #{sandbox_dir}/#{program_name} -p #{sandbox_dir}/ -s set_robust_list -s sched_getaffinity -s clock_gettime -s sigaltstack -s pipe2 -s clone -s futex -s openat -s pipe" |
|
|
95 | PYTHON_OPTION = "-p /usr/lib64/ -p /usr/local/lib64/ -p /usr/local/lib/ -p /usr/bin/ -p /lib64/ -p /dev/urandom -p /usr/ -p #{sandbox_dir}/#{program_name} -p ./#{program_name} -p #{sandbox_dir}/#{source_name} -p /proc/sys/crypto/fips_enabled -p /proc/mounts -p /var/lib/dpkg/status -s statfs -s set_robust_list -s openat -s sysinfo -s recvmsg -s connect -s socket -s sendto -s futex -s sigaltstack -E PYTHONNOUSERSITE=yes" |
|
95 | PYTHON_OPTION = "-p /usr/lib64/ -p /usr/local/lib64/ -p /usr/local/lib/ -p /usr/bin/ -p /lib64/ -p /dev/urandom -p /usr/ -p #{sandbox_dir}/#{program_name} -p ./#{program_name} -p #{sandbox_dir}/#{source_name} -p /proc/sys/crypto/fips_enabled -p /proc/mounts -p /var/lib/dpkg/status -s statfs -s set_robust_list -s openat -s sysinfo -s recvmsg -s connect -s socket -s sendto -s futex -s sigaltstack -E PYTHONNOUSERSITE=yes" |
|
|
96 | PHP_OPTION = "-p /usr/lib64/ -p/lib64/ -p /usr/bin/ -p #{sandbox_dir}/#{program_name} -p ./#{program_name} -p /usr/share/ -s setfsuid -s setfsgid -s openat -s set_robust_list -s futex -s clone -s socket -s connect" |
|
96 | PHP_OPTION = "-p /usr/lib64/ -p/lib64/ -p /usr/bin/ -p #{sandbox_dir}/#{program_name} -p ./#{program_name} -p /usr/share/ -s setfsuid -s setfsgid -s openat -s set_robust_list -s futex -s clone -s socket -s connect" |
|
|
97 | HASKELL_OPTION = "-s set_robust_list -s clock_gettime -s sysinfo -s timer_create -s timer_settime -s futex -s timer_delete" |
|
97 | HASKELL_OPTION = "-s set_robust_list -s clock_gettime -s sysinfo -s timer_create -s timer_settime -s futex -s timer_delete" |
|
|
98 |
|
98 | ||
|
|
99 | case language |
|
99 | case language |
|
|
100 | when "java" |
|
100 | when "java" |
|
|
101 | # for java, extract the classname |
|
101 | # for java, extract the classname |
|
|
102 | # wne have to add additional systemcall and we don't check the mem limit (dunno how to fix...) |
|
102 | # wne have to add additional systemcall and we don't check the mem limit (dunno how to fix...) |
|
|
103 | classname = 'DUMMY' |
|
103 | classname = 'DUMMY' |
|
|
104 | File.open(program_name,"r").each do |line| |
|
104 | File.open(program_name,"r").each do |line| |
|
|
105 | classname = line |
|
105 | classname = line |
|
|
106 | end |
|
106 | end |
|
|
107 | #for java, we cannot really check the memory limit... |
|
107 | #for java, we cannot really check the memory limit... |
|
|
108 | run_command = "#{problem_home}/script/box -a 3 -f -T -t #{time_limit} #{JAVA_OPTION} -i #{input_file_name} -o output.txt /usr/bin/java -A -Xmx#{mem_limit}k -A #{classname} " |
|
108 | run_command = "#{problem_home}/script/box -a 3 -f -T -t #{time_limit} #{JAVA_OPTION} -i #{input_file_name} -o output.txt /usr/bin/java -A -Xmx#{mem_limit}k -A #{classname} " |
|
|
109 | when "ruby" |
|
109 | when "ruby" |
|
|
110 | run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit*=2} -m #{mem_limit} #{RUBY_OPTION} -i #{input_file_name} -o output.txt /usr/bin/ruby #{program_name} " |
|
110 | run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit*=2} -m #{mem_limit} #{RUBY_OPTION} -i #{input_file_name} -o output.txt /usr/bin/ruby #{program_name} " |
|
|
111 | when "python" |
|
111 | when "python" |
|
|
112 | run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit*=2} -m #{[128 * 1024,mem_limit].max} #{PYTHON_OPTION} -i #{input_file_name} -o output.txt /usr/bin/python3 #{program_name} " |
|
112 | run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit*=2} -m #{[128 * 1024,mem_limit].max} #{PYTHON_OPTION} -i #{input_file_name} -o output.txt /usr/bin/python3 #{program_name} " |
|
|
113 | when "haskell" |
|
113 | when "haskell" |
|
|
114 |
- run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit} -m #{[512 * 1024,mem_limit].max} #{ |
|
114 | + run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit} -m #{[512 * 1024,mem_limit].max} #{HASKELL_OPTION} -i #{input_file_name} -o output.txt #{program_name} " |
|
|
115 | when "php" |
|
115 | when "php" |
|
|
116 | run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit*=2} -m #{[128 * 1024,mem_limit].max} #{PHP_OPTION} -i #{input_file_name} -o output.txt /usr/bin/php -A -d -A memory_limit=#{mem_limit}k -A #{program_name} " |
|
116 | run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit*=2} -m #{[128 * 1024,mem_limit].max} #{PHP_OPTION} -i #{input_file_name} -o output.txt /usr/bin/php -A -d -A memory_limit=#{mem_limit}k -A #{program_name} " |
|
|
117 | else # for c++, pascal, we do the normal checking |
|
117 | else # for c++, pascal, we do the normal checking |
|
|
118 | run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit} -m #{mem_limit} -i #{input_file_name} -o output.txt #{program_name} " |
|
118 | run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit} -m #{mem_limit} -i #{input_file_name} -o output.txt #{program_name} " |
|
|
119 | end |
|
119 | end |
|
|
120 |
|
120 | ||
|
|
121 |
|
121 | ||
|
|
122 | log "Running test #{test_num}..." |
|
122 | log "Running test #{test_num}..." |
|
|
123 | log run_command |
|
123 | log run_command |
|
|
124 | log |
|
124 | log |
|
|
125 | system(run_command,err: 'run_result') |
|
125 | system(run_command,err: 'run_result') |
|
|
126 |
|
126 | ||
|
|
127 | # Restore PROBLEM_HOME |
|
127 | # Restore PROBLEM_HOME |
|
|
128 | ENV['PROBLEM_HOME'] = problem_home |
|
128 | ENV['PROBLEM_HOME'] = problem_home |
|
|
129 |
|
129 | ||
|
|
130 | # Create the result file. |
|
130 | # Create the result file. |
|
|
131 | result_file = File.new("result", "w") |
|
131 | result_file = File.new("result", "w") |
|
|
132 | comment_file = File.new("comment", "w") |
|
132 | comment_file = File.new("comment", "w") |
|
|
133 |
|
133 | ||
|
|
134 | # Check if the program actually produced any output. |
|
134 | # Check if the program actually produced any output. |
|
|
135 | run_result_file = File.new("run_result", "r") |
|
135 | run_result_file = File.new("run_result", "r") |
|
|
136 | run_result = run_result_file.readlines |
|
136 | run_result = run_result_file.readlines |
|
|
137 | run_result_file.close |
|
137 | run_result_file.close |
|
|
138 |
|
138 | ||
You need to be logged in to leave comments.
Login now