equal
deleted
inserted
replaced
1 Requirements for instantaneous build from sources |
1 Requirements for instantaneous build from repository |
2 ================================================= |
2 ==================================================== |
3 |
3 |
4 * Official Java JDK 1.6 from Sun/Oracle/Apple |
4 * Java JDK 1.7 from Oracle |
5 http://www.oracle.com/technetwork/java/javase/downloads/index.html |
5 http://www.oracle.com/technetwork/java/javase/downloads/index.html |
6 |
6 |
7 (experimental support for JDK/OpenJDK 1.7, but not OpenJDK 1.6) |
7 (experimental support for JDK/OpenJDK 1.7) |
8 |
8 |
9 * Scala 2.9.2 |
9 * Scala 2.9.2 |
10 http://www.scala-lang.org |
10 http://www.scala-lang.org |
11 |
11 |
12 (experimental support for Scala 2.10.x milestones) |
12 (experimental support for Scala 2.10.x milestones) |
13 |
13 |
|
14 Note that the official directory layout of JDK and Scala is required! |
|
15 |
14 * Auxiliary jedit_build component |
16 * Auxiliary jedit_build component |
15 http://www4.in.tum.de/~wenzelm/test/jedit_build-20120414.tar.gz |
|
16 |
17 |
17 |
18 |
18 Important settings within Isabelle environment |
19 See also http://isabelle.in.tum.de/components/. |
19 ============================================== |
|
20 |
|
21 * init_component ".../jedit_build-20120414" |
|
22 * ISABELLE_JDK_HOME |
|
23 * SCALA_HOME |
|
24 |
|
25 Note that the official directory layout of JDK and Scala is required! |
|
26 |
20 |
27 |
21 |
28 Build and run |
22 Build and run |
29 ============= |
23 ============= |
30 |
24 |