equal
deleted
inserted
replaced
1 (* Title: create a heap image for isac on Isabelle2013 |
1 (* Title: create a heap image for isac on Isabelle2013 |
2 Author: Walther Neuper, TU Graz, 130715 |
2 Author: Walther Neuper, TU Graz, 130715 |
3 (c) due to copyright terms |
3 (c) due to copyright terms |
4 |
4 |
5 $ cd /usr/local/isabisac/ |
5 $ cd /usr/local/isabisac/ |
6 $ ./bin/isabelle build -d src/Tools/isac/ -v -b Isac |
6 $ ./bin/isabelle build -v -b Isac |
7 |
7 |
8 # ERROR Duplicate session "Isac" (file "src/Tools/isac/ROOT") REMOVED BY |
8 see ~~/etc/settings |
9 ~/.isabelle/heaps/polyml-5.5.0_x86-linux$ rm Isac |
|
10 |
|
11 |
|
12 |
|
13 |
|
14 # generate browser info: see ~~/etc/settings |
|
15 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
9 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
16 before out-outcommenting (*, browser_info = true*) below and ... |
10 before out-outcommenting (*, browser_info = true*) below and ... |
17 $ ./bin/isabelle build -o browser_info -v -c HOL |
11 $ ./bin/isabelle build -o browser_info -v -c HOL |
18 $ ./bin/isabelle build -o browser_info -d src/Tools/isac/ -v -b Isac |
12 $ ./bin/isabelle build -o browser_info -d src/Tools/isac/ -v -b Isac |
19 *) |
13 *) |