equal
deleted
inserted
replaced
31 subprocess.check_call(['ln', '-s', loc_contrib, '%s/contrib' % loc_isabelle]) |
31 subprocess.check_call(['ln', '-s', loc_contrib, '%s/contrib' % loc_isabelle]) |
32 |
32 |
33 # patch settings |
33 # patch settings |
34 extra_settings = ''' |
34 extra_settings = ''' |
35 ISABELLE_HOME_USER="$ISABELLE_HOME/home_user" |
35 ISABELLE_HOME_USER="$ISABELLE_HOME/home_user" |
|
36 ISABELLE_OUTPUT="$ISABELLE_HOME/heaps" |
|
37 ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info" |
|
38 ISABELLE_PATH="$ISABELLE_OUTPUT" |
|
39 |
36 Z3_NON_COMMERCIAL="yes" |
40 Z3_NON_COMMERCIAL="yes" |
|
41 |
37 source "${ISABELLE_HOME}/Admin/init_components" |
42 source "${ISABELLE_HOME}/Admin/init_components" |
38 |
43 |
39 ''' + more_settings |
44 ''' + more_settings |
40 |
45 |
41 writer = open(path.join(loc_isabelle, 'etc', 'settings'), 'a') |
46 writer = open(path.join(loc_isabelle, 'etc', 'settings'), 'a') |