1 Requirements for instantaneous build from sources
2 =================================================
4 * Official Java JDK 1.6 from Sun/Oracle/Apple
5 http://www.oracle.com/technetwork/java/javase/downloads/index.html
7 (or JDK/OpenJDK 1.7, but not OpenJDK 1.6)
9 * Scala 2.8.2.final or 2.9.1-1
10 http://www.scala-lang.org
12 (experimental support for Scala 2.10.x milestones)
14 * Auxiliary jedit_build component
15 http://www4.in.tum.de/~wenzelm/test/jedit_build-20120327.tar.gz
18 Important settings within Isabelle environment
19 ==============================================
23 - ISABELLE_JEDIT_BUILD_HOME (via "init_component .../jedit_build...")
29 isabelle jedit -l HOL Test.thy
32 -----------------------------------------------------------------------
33 To run jedit with remote debugging enabled, I use the following
35 -agentlib:jdwp=transport=dt_socket,suspend=y,server=y,address=XXXX
38 where XXXX is any open port number you wish. The above invocation
39 works for Sun's JDK 5.0. There's an alternate incantation for earlier
41 http://java.sun.com/j2se/1.5.0/docs/guide/jpda/conninv.html)
42 -----------------------------------------------------------------------