equal
deleted
inserted
replaced
56 ISABELLE_OUTPUT="$ISABELLE_HOME/heaps" |
56 ISABELLE_OUTPUT="$ISABELLE_HOME/heaps" |
57 ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info" |
57 ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info" |
58 ISABELLE_PATH="%s" |
58 ISABELLE_PATH="%s" |
59 |
59 |
60 ISABELLE_USEDIR_OPTIONS="%s" |
60 ISABELLE_USEDIR_OPTIONS="%s" |
|
61 |
|
62 [[ -z "$ISABELLE_JDK_HOME" ]] && ISABELLE_JDK_HOME="$ISABELLE_HOME/contrib/jdk" |
61 Z3_NON_COMMERCIAL="yes" |
63 Z3_NON_COMMERCIAL="yes" |
|
64 |
62 %s |
65 %s |
63 ''' % (isabelle_path, usedir_options, more_settings) |
66 ''' % (isabelle_path, usedir_options, more_settings) |
64 |
67 |
65 writer = open(path.join(loc_isabelle, 'etc', 'settings'), 'a') |
68 writer = open(path.join(loc_isabelle, 'etc', 'settings'), 'a') |
66 writer.write(extra_settings) |
69 writer.write(extra_settings) |