Description:
fixed missing require
Commit status:
[Not Reviewed]
References:
Diff options:
Comments:
0 Commit comments
0 Inline Comments
Unresolved TODOs:
There are no unresolved TODOs
r105:c572646a598e - - 1 file changed: 2 inserted, 0 deleted
@@ -1,50 +1,52 | |||
|
1 | 1 | #!/usr/bin/ruby |
|
2 | 2 | |
|
3 | + require 'fileutils' | |
|
4 | + | |
|
3 | 5 | def log(str='') |
|
4 | 6 | if ENV['TALKATIVE']!=nil |
|
5 | 7 | puts str |
|
6 | 8 | end |
|
7 | 9 | if ENV['GRADER_LOGGING']!=nil |
|
8 | 10 | log_fname = ENV['GRADER_LOGGING'] |
|
9 | 11 | fp = File.open(log_fname,"a") |
|
10 | 12 | fp.puts("run: #{Time.new.strftime("%H:%M")} #{str}") |
|
11 | 13 | fp.close |
|
12 | 14 | end |
|
13 | 15 | end |
|
14 | 16 | |
|
15 | 17 | def extract_time(t) |
|
16 | 18 | # puts "TIME: #{t}" |
|
17 | 19 | if (result=/^(.*)r(.*)u(.*)s/.match(t)) |
|
18 | 20 | {:real => result[1], :user => result[2], :sys => result[3]} |
|
19 | 21 | else |
|
20 | 22 | #{:real => 0, :user => 0, :sys => 0} |
|
21 | 23 | #puts "ERROR READING RUNNING TIME: #{t}" |
|
22 | 24 | raise "Error reading running time: #{t}" |
|
23 | 25 | end |
|
24 | 26 | end |
|
25 | 27 | |
|
26 | 28 | def compile_box(source,bin) |
|
27 | 29 | system("g++ #{source} -o #{bin}") |
|
28 | 30 | end |
|
29 | 31 | |
|
30 | 32 | if ARGV.length < 2 || ARGV.length > 3 |
|
31 | 33 | puts "Usage: run <language> <test-num> [<program-name>]" |
|
32 | 34 | exit(127) |
|
33 | 35 | end |
|
34 | 36 | |
|
35 | 37 | language = ARGV[0] |
|
36 | 38 | test_num = ARGV[1].to_i |
|
37 | 39 | if ARGV.length > 2 |
|
38 | 40 | program_name = ARGV[2] |
|
39 | 41 | else |
|
40 | 42 | program_name = "a.out" |
|
41 | 43 | end |
|
42 | 44 | |
|
43 | 45 | problem_home = ENV['PROBLEM_HOME'] |
|
44 | 46 | require "#{problem_home}/script/test_dsl.rb" |
|
45 | 47 | load "#{problem_home}/test_cases/all_tests.cfg" |
|
46 | 48 | problem = Problem.get_instance |
|
47 | 49 | |
|
48 | 50 | if problem.well_formed? == false |
|
49 | 51 | log "The problem specification is not well formed." |
|
50 | 52 | exit(127) |
You need to be logged in to leave comments.
Login now