author | wenzelm |
Fri, 13 Apr 2012 19:42:48 +0200 | |
changeset 47456 | 88adecfe4246 |
parent 47185 | 300fa46fd081 |
child 47460 | 70fd47ca62e3 |
permissions | -rw-r--r-- |
43281 | 1 |
Requirements for instantaneous build from sources |
2 |
================================================= |
|
34324 | 3 |
|
46117 | 4 |
* Official Java JDK 1.6 from Sun/Oracle/Apple |
44700 | 5 |
http://www.oracle.com/technetwork/java/javase/downloads/index.html |
34325 | 6 |
|
47158 | 7 |
(or JDK/OpenJDK 1.7, but not OpenJDK 1.6) |
46117 | 8 |
|
47456 | 9 |
* Scala 2.8.2.final or 2.9.2 |
46913
3444a24dc4e9
updated to jedit_build-20120313 with jedit-4.5.0;
wenzelm
parents:
46117
diff
changeset
|
10 |
http://www.scala-lang.org |
34635 | 11 |
|
46997 | 12 |
(experimental support for Scala 2.10.x milestones) |
13 |
||
43281 | 14 |
* Auxiliary jedit_build component |
47158 | 15 |
http://www4.in.tum.de/~wenzelm/test/jedit_build-20120327.tar.gz |
34919 | 16 |
|
34325 | 17 |
|
43281 | 18 |
Important settings within Isabelle environment |
19 |
============================================== |
|
40442
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
20 |
|
47185
300fa46fd081
clarified ISABELLE_JDK_HOME: derive from running JVM, but ignore accidental JAVA_HOME;
wenzelm
parents:
47158
diff
changeset
|
21 |
* init_component ".../jedit_build-20120327" |
300fa46fd081
clarified ISABELLE_JDK_HOME: derive from running JVM, but ignore accidental JAVA_HOME;
wenzelm
parents:
47158
diff
changeset
|
22 |
* ISABELLE_JDK_HOME |
300fa46fd081
clarified ISABELLE_JDK_HOME: derive from running JVM, but ignore accidental JAVA_HOME;
wenzelm
parents:
47158
diff
changeset
|
23 |
* SCALA_HOME |
300fa46fd081
clarified ISABELLE_JDK_HOME: derive from running JVM, but ignore accidental JAVA_HOME;
wenzelm
parents:
47158
diff
changeset
|
24 |
|
300fa46fd081
clarified ISABELLE_JDK_HOME: derive from running JVM, but ignore accidental JAVA_HOME;
wenzelm
parents:
47158
diff
changeset
|
25 |
Note that the official directory layout of JDK and Scala is required! |
40442
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
26 |
|
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
27 |
|
43281 | 28 |
Build and run |
29 |
============= |
|
34606
76509ef6f1b6
updated notes about Isabelle environment, no longer need to use "isabelle env netbeans";
wenzelm
parents:
34600
diff
changeset
|
30 |
|
43281 | 31 |
isabelle jedit -l HOL Test.thy |
34763 | 32 |