1 ## Platform prerequisites ##
3 Ensure that "curl" and "hg" (Mercurial) are installed:
5 (a) Linux: e.g. "sudo apt install curl mercurial
7 (b) macOS: e.g. "brew install mercurial" or download from https://www.mercurial-scm.org
9 (c) Windows: use Cygwin64 with packages "curl" and "mercurial" (via Cygwin setup-x86_64.exe)
12 ## Repository management ##
14 Commands below assume the same current directory: "isabisac" and "isa" are
19 hg clone https://isabelle.in.tum.de/repos/isabelle isabisac
20 hg clone https://hg.risc.uni-linz.ac.at/wneuper/isa
22 isabisac/Admin/init -I isabisac -V ./isa
23 isabisac/bin/isabelle components -u ./isa
28 isabisac/Admin/init -V ./isa
31 hg clone https://isabelle.in.tum.de/repos/isabelle isabisac2
32 hg clone https://hg.risc.uni-linz.ac.at/wneuper/isa isa2
33 isabisac2/Admin/init -I isabisac2 -V ./isa2
34 isabisac2/bin/isabelle components -u ./isa2
37 isabisac2/Admin/init -V ./isa2
38 * when repeating installation you may delete in
39 ~/.isabelle/isabisac/etc/components
47 isabisac/bin/isabelle build -D '$ISABELLE_ISAC'
49 isabisac/bin/isabelle jedit -R Specify &
50 isabisac/bin/isabelle jedit -R Interpret &
51 isabisac/bin/isabelle jedit -R Isac &
53 isabisac/bin/isabelle jedit -l HOL isa/src/Tools/isac/Build_Isac.thy &
54 ====isabisac$ ./bin/isabelle jedit -l HOL ../isa/src/Tools/isac/Build_Isac.thy &
55 isabisac$ ./bin/isabelle build -o browser_info -v -c Specify &
56 isabisac$ ./bin/isabelle build -o browser_info -v -c Interpret &
57 isabisac$ ./bin/isabelle build -o browser_info -v -c Isac &
61 isabisac/bin/isabelle build -D '$ISABELLE_ISAC_TEST'
63 isabisac/bin/isabelle jedit -R Isac_Test &
65 isabisac/bin/isabelle jedit -l Isac_Test_Base isa/test/Tools/isac/Test_Isac_Short.thy &
66 ====isabisac$ ./bin/isabelle jedit -l Isac_Test_Base ../isa/test/Tools/isac/Test_Isac_Short.thy &
67 ====isabisac$ ./bin/isabelle jedit -l Isac_Test_Base ../isa/test/Tools/isac/Test_Some.thy &
70 ====isabisac2$ ./bin/isabelle jedit -l HOL ../isa2/src/Tools/isac/Build_Isac.thy &
72 ====isabisac2$ ./bin/isabelle jedit -l Isac_Test_Base ../isa2/test/Tools/isac/Test_Isac_Short.thy &
73 ====isabisac2$ ./bin/isabelle jedit -l Isac_Test_Base ../isa2/test/Tools/isac/Test_Some.thy &