Admin/mira.py
changeset 47897 9d978604aee4
parent 47896 92b35ed6c396
child 48149 9cb0abdf7c07
equal deleted inserted replaced
47896:92b35ed6c396 47897:9d978604aee4
   247 @configuration(repos = [Isabelle], deps = [])
   247 @configuration(repos = [Isabelle], deps = [])
   248 def Pure(*args):
   248 def Pure(*args):
   249     """Pure image"""
   249     """Pure image"""
   250     return make_pure(*args)
   250     return make_pure(*args)
   251 
   251 
   252 @configuration(repos = [Isabelle], deps = [])
       
   253 def Pure_64(*args):
       
   254     """Pure image (64 bit)"""
       
   255     return make_pure(*args, more_settings='ML_PLATFORM=x86_64-linux')
       
   256 
       
   257 @configuration(repos = [Isabelle], deps = [(Pure, [0])])
   252 @configuration(repos = [Isabelle], deps = [(Pure, [0])])
   258 def HOL(*args):
   253 def HOL(*args):
   259     """HOL image"""
   254     """HOL image"""
   260     return build_isabelle_image('HOL', 'Pure', 'HOL', *args)
   255     return build_isabelle_image('HOL', 'Pure', 'HOL', *args)
   261 
   256 
   277 settings64='''
   272 settings64='''
   278 ML_PLATFORM=x86_64-linux
   273 ML_PLATFORM=x86_64-linux
   279 ML_HOME="/home/polyml/polyml-5.4.1/x86_64-linux"
   274 ML_HOME="/home/polyml/polyml-5.4.1/x86_64-linux"
   280 ML_SYSTEM="polyml-5.4.1"
   275 ML_SYSTEM="polyml-5.4.1"
   281 '''
   276 '''
       
   277 
       
   278 @configuration(repos = [Isabelle], deps = [])
       
   279 def Pure_64(*args):
       
   280     """Pure image (64 bit)"""
       
   281     return make_pure(*args, more_settings=settings64)
   282 
   282 
   283 @configuration(repos = [Isabelle], deps = [(Pure_64, [0])])
   283 @configuration(repos = [Isabelle], deps = [(Pure_64, [0])])
   284 def HOL_64(*args):
   284 def HOL_64(*args):
   285     """HOL image (64 bit)"""
   285     """HOL image (64 bit)"""
   286     return build_isabelle_image('HOL', 'Pure', 'HOL', *args, more_settings=settings64)
   286     return build_isabelle_image('HOL', 'Pure', 'HOL', *args, more_settings=settings64)