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
-
r219:00b316d6843e - - 2 files changed: 9 inserted, 0 deleted
| @@ -31,6 +31,7 | |||
|
|
31 | 31 | PYTHON_INTERPRETER = "/usr/bin/python3" |
|
|
32 | 32 | PYTHON_CHECKER = "/usr/bin/pyflakes" |
|
|
33 | 33 | PHP_INTERPRETER = "/usr/bin/php" |
|
|
34 | + HASKELL_COMPILER = "/usr/bin/ghc" | |
|
|
34 | 35 | |
|
|
35 | 36 | C_OPTIONS = "-O2 -s -static -std=c99 -DCONTEST -lm -Wall" |
|
|
36 | 37 | CPLUSPLUS_OPTIONS = "-O2 -s -std=c++11 -static -DCONTEST -lm -Wall" |
| @@ -38,6 +39,7 | |||
|
|
38 | 39 | JAVA_OPTIONS = "" |
|
|
39 | 40 | PYTHON_OPTIONS = "" |
|
|
40 | 41 | PHP_OPTIONS = "-l" |
|
|
42 | + HASKELL_OPTIONS = "" | |
|
|
41 | 43 | |
|
|
42 | 44 | # Check for the correct number of arguments. Otherwise, print usage. |
|
|
43 | 45 | if ARGV.length == 0 or ARGV.length > 4 |
| @@ -172,6 +174,10 | |||
|
|
172 | 174 | File.chmod(0755, params[:output_file]) |
|
|
173 | 175 | end |
|
|
174 | 176 | |
|
|
177 | + when "haskell" | |
|
|
178 | + command = "#{HASKELL_COMPILER} #{params[:source_file]} -o #{params[:output_file]} #{HASKELL_OPTIONS}" | |
|
|
179 | + system(command, err: params[:message_file]) | |
|
|
180 | + | |
|
|
175 | 181 | else |
|
|
176 | 182 | talk("ERROR: Invalid language specified!") |
|
|
177 | 183 | open(params[:message_file],"w") do |f| |
| @@ -94,6 +94,7 | |||
|
|
94 | 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 | 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 | 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 | 98 | |
|
|
98 | 99 | case language |
|
|
99 | 100 | when "java" |
| @@ -109,6 +110,8 | |||
|
|
109 | 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 | 111 | when "python" |
|
|
111 | 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" | |
|
|
114 | + run_command = "#{problem_home}/script/box -a 2 -f -T -t #{time_limit} -m #{[512 * 1024,mem_limit].max} #{PYTHON_OPTION} -i #{input_file_name} -o output.txt #{program_name} " | |
|
|
112 | 115 | when "php" |
|
|
113 | 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} " |
|
|
114 | 117 | else # for c++, pascal, we do the normal checking |
You need to be logged in to leave comments.
Login now