equal
deleted
inserted
replaced
37 ### Batch sessions (cf. isabelle build) |
37 ### Batch sessions (cf. isabelle build) |
38 ### |
38 ### |
39 |
39 |
40 ISABELLE_BUILD_OPTIONS="" |
40 ISABELLE_BUILD_OPTIONS="" |
41 |
41 |
42 case "$ISABELLE_JAVA_PLATFORM" in |
42 ISABELLE_BUILD_JAVA_OPTIONS32="-Djava.awt.headless=true -Xms128m -Xmx1024m -Xss1m" |
43 x86_64-*) |
43 ISABELLE_BUILD_JAVA_OPTIONS64="-Djava.awt.headless=true -Xms512m -Xmx4096m -Xss4m" |
44 ISABELLE_BUILD_JAVA_OPTIONS="-Djava.awt.headless=true -Xms128m -Xmx1024m -Xss1m" |
|
45 ;; |
|
46 *) |
|
47 ISABELLE_BUILD_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4096m -Xss4m" |
|
48 ;; |
|
49 esac |
|
50 |
44 |
51 |
45 |
52 ### |
46 ### |
53 ### Document preparation (cf. isabelle latex/document) |
47 ### Document preparation (cf. isabelle latex/document) |
54 ### |
48 ### |