213 settings64=''' |
213 settings64=''' |
214 ML_PLATFORM=x86_64-linux |
214 ML_PLATFORM=x86_64-linux |
215 ML_HOME="/home/polyml/polyml-5.4.1/x86_64-linux" |
215 ML_HOME="/home/polyml/polyml-5.4.1/x86_64-linux" |
216 ML_SYSTEM="polyml-5.4.1" |
216 ML_SYSTEM="polyml-5.4.1" |
217 ''' |
217 ''' |
218 |
|
219 @configuration(repos = [Isabelle], deps = []) |
|
220 def Pure_64(*args): |
|
221 """Pure Image (64 bit)""" |
|
222 return isabelle_build(*(args + ("-b", "Pure")), more_settings=settings64) |
|
223 |
|
224 @configuration(repos = [Isabelle], deps = [(Pure, [0])]) |
|
225 def HOL_64(*args): |
|
226 """HOL Image (64 bit)""" |
|
227 return isabelle_build(*(args + ("-b", "HOL")), more_settings=settings64) |
|
228 |
|
229 @configuration(repos = [Isabelle], deps = [(HOL, [0])]) |
|
230 def HOL_HOLCF_64(*args): |
|
231 """HOLCF Image""" |
|
232 return isabelle_build(*(args + ("-b", "HOL-HOLCF")), more_settings=settings64) |
|
233 |
|
234 @configuration(repos = [Isabelle], deps = [(HOL, [0])]) |
|
235 def HOL_Word_64(*args): |
|
236 """HOL-Word Image""" |
|
237 return isabelle_build(*(args + ("-b", "HOL-Word")), more_settings=settings64) |
|
238 |
218 |
239 @configuration(repos = [Isabelle], deps = []) |
219 @configuration(repos = [Isabelle], deps = []) |
240 def AFP_images(*args): |
220 def AFP_images(*args): |
241 """Isabelle images needed for the AFP (64 bit)""" |
221 """Isabelle images needed for the AFP (64 bit)""" |
242 return isabelle_build(*(args + ("-b", "-j", "2", "Pure", "HOL", "HOL-HOLCF", "HOL-Word")), more_settings=settings64) |
222 return isabelle_build(*(args + ("-b", "-j", "2", "Pure", "HOL", "HOL-HOLCF", "HOL-Word")), more_settings=settings64) |