Description:
update
Commit status:
[Not Reviewed]
References:
Diff options:
Comments:
0 Commit comments
0 Inline Comments
Unresolved TODOs:
There are no unresolved TODOs
r193:027e22738156 - - 1 file changed: 11 inserted, 0 deleted
@@ -156,6 +156,17 | |||
|
156 | 156 | echo "require File.join(File.dirname(__FILE__),'../lib/boot')" >> scripts/config/environment.rb |
|
157 | 157 | echo "require File.dirname(__FILE__) + \"/env_#{GRADER_ENV}.rb\"" >> scripts/config/environment.rb |
|
158 | 158 | |
|
159 | + # compiling box | |
|
160 | + MACHINE_TYPE=`uname -m` | |
|
161 | + if [ ${MACHINE_TYPE} == 'x86_64' ]; then | |
|
162 | + gcc -std=c99 -o scripts/std-script/box scripts/std-script/box64-new.c | |
|
163 | + # 64-bit stuff here | |
|
164 | + else | |
|
165 | + g++ -o scripts/std-script/box scripts/std-script/box.cc | |
|
166 | + # 32-bit stuff here | |
|
167 | + fi | |
|
168 | + | |
|
169 | + | |
|
159 | 170 | cd .. |
|
160 | 171 | |
|
161 | 172 | echo "Now you are ready to run cafe grader...." |
You need to be logged in to leave comments.
Login now