Description:
update
Commit status:
[Not Reviewed]
References:
Comments:
0 Commit comments 0 Inline Comments
Unresolved TODOs:
There are no unresolved TODOs
Add another comment

r193:027e22738156 - - 1 file changed: 11 inserted, 0 deleted

@@ -147,24 +147,35
147
147
148 echo "Configuring grader"
148 echo "Configuring grader"
149
149
150 cp scripts/config/env_exam.rb.SAMPLE scripts/config/env_exam.rb
150 cp scripts/config/env_exam.rb.SAMPLE scripts/config/env_exam.rb
151 cp scripts/config/env_grading.rb.SAMPLE scripts/config/env_grading.rb
151 cp scripts/config/env_grading.rb.SAMPLE scripts/config/env_grading.rb
152
152
153 # create new environment.rb file
153 # create new environment.rb file
154 echo "RAILS_ROOT = '$CAFE_PATH/web'" > scripts/config/environment.rb
154 echo "RAILS_ROOT = '$CAFE_PATH/web'" > scripts/config/environment.rb
155 echo "GRADER_ROOT = '$CAFE_PATH/judge/scripts'" >> scripts/config/environment.rb
155 echo "GRADER_ROOT = '$CAFE_PATH/judge/scripts'" >> scripts/config/environment.rb
156 echo "require File.join(File.dirname(__FILE__),'../lib/boot')" >> scripts/config/environment.rb
156 echo "require File.join(File.dirname(__FILE__),'../lib/boot')" >> scripts/config/environment.rb
157 echo "require File.dirname(__FILE__) + \"/env_#{GRADER_ENV}.rb\"" >> scripts/config/environment.rb
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 cd ..
170 cd ..
160
171
161 echo "Now you are ready to run cafe grader...."
172 echo "Now you are ready to run cafe grader...."
162 echo
173 echo
163 echo "Try:"
174 echo "Try:"
164 echo
175 echo
165 echo " cd web"
176 echo " cd web"
166 echo " rails s"
177 echo " rails s"
167 echo
178 echo
168 echo "and access web at http://localhost:3000/"
179 echo "and access web at http://localhost:3000/"
169 echo "The root username is 'root', its password is 'ioionrails'."
180 echo "The root username is 'root', its password is 'ioionrails'."
170
181
You need to be logged in to leave comments. Login now