etc/settings
changeset 61148 b3efd7552d83
parent 61135 8f7d802b7a71
child 61355 31829cf53f5d
equal deleted inserted replaced
61147:263a354329e9 61148:b3efd7552d83
    38 ###
    38 ###
    39 
    39 
    40 ISABELLE_BUILD_OPTIONS=""
    40 ISABELLE_BUILD_OPTIONS=""
    41 
    41 
    42 ISABELLE_BUILD_JAVA_OPTIONS32="-Djava.awt.headless=true -Xms128m -Xmx1024m -Xss1m"
    42 ISABELLE_BUILD_JAVA_OPTIONS32="-Djava.awt.headless=true -Xms128m -Xmx1024m -Xss1m"
    43 ISABELLE_BUILD_JAVA_OPTIONS64="-Djava.awt.headless=true -Xms512m -Xmx4096m -Xss4m"
    43 ISABELLE_BUILD_JAVA_OPTIONS64="-Djava.awt.headless=true -Xms512m -Xmx2560m -Xss4m"
    44 
    44 
    45 
    45 
    46 ###
    46 ###
    47 ### Document preparation (cf. isabelle latex/document)
    47 ### Document preparation (cf. isabelle latex/document)
    48 ###
    48 ###