| author | wenzelm |
| Sun, 04 Sep 2011 16:37:22 +0200 | |
| changeset 45577 | f4b42f310f86 |
| parent 44914 | 63c158415dbb |
| child 45590 | 176adba0c35e |
| permissions | -rw-r--r-- |
| wenzelm@44161 | 1 |
Requirements for instantaneous build from sources |
| wenzelm@44161 | 2 |
================================================= |
| wenzelm@34327 | 3 |
|
| wenzelm@45577 | 4 |
* Official Java JDK from Sun/Oracle/Apple, e.g. 1.6.0_27 |
| wenzelm@45577 | 5 |
http://www.oracle.com/technetwork/java/javase/downloads/index.html |
| wenzelm@34328 | 6 |
|
| wenzelm@44161 | 7 |
* Scala Compiler 2.8.1.final |
| wenzelm@44161 | 8 |
http://www.scala-lang.org |
| wenzelm@34327 | 9 |
|
| wenzelm@44161 | 10 |
* Auxiliary jedit_build component |
| wenzelm@45577 | 11 |
http://www4.in.tum.de/~wenzelm/test/jedit_build-20110622.tar.gz |
| wenzelm@34327 | 12 |
|
| wenzelm@34638 | 13 |
|
| wenzelm@44161 | 14 |
Important settings within Isabelle environment |
| wenzelm@44161 | 15 |
============================================== |
| wenzelm@34384 | 16 |
|
| wenzelm@44161 | 17 |
- JAVA_HOME |
| wenzelm@44161 | 18 |
- SCALA_HOME |
| wenzelm@44161 | 19 |
- JEDIT_BUILD_HOME (via "init_component .../jedit_build...") |
| wenzelm@34748 | 20 |
|
| wenzelm@34327 | 21 |
|
| wenzelm@44161 | 22 |
Build and run |
| wenzelm@44161 | 23 |
============= |
| wenzelm@34919 | 24 |
|
| wenzelm@44161 | 25 |
isabelle jedit -l HOL Test.thy |
| wenzelm@34328 | 26 |
|
| wenzelm@34766 | 27 |
|
| wenzelm@34766 | 28 |
----------------------------------------------------------------------- |
| wenzelm@34766 | 29 |
To run jedit with remote debugging enabled, I use the following |
| wenzelm@34766 | 30 |
command: "java |
| wenzelm@34766 | 31 |
-agentlib:jdwp=transport=dt_socket,suspend=y,server=y,address=XXXX |
| wenzelm@34766 | 32 |
-jar jedit.jar" |
| wenzelm@34766 | 33 |
|
| wenzelm@34766 | 34 |
where XXXX is any open port number you wish. The above invocation |
| wenzelm@34766 | 35 |
works for Sun's JDK 5.0. There's an alternate incantation for earlier |
| wenzelm@34766 | 36 |
releases. (See |
| wenzelm@34766 | 37 |
http://java.sun.com/j2se/1.5.0/docs/guide/jpda/conninv.html) |
| wenzelm@34766 | 38 |
----------------------------------------------------------------------- |