| author | wenzelm |
| Sat, 22 Oct 2011 19:22:13 +0200 | |
| changeset 46116 | 7f6c85421fa9 |
| parent 46021 | cf6a5de94bfc |
| child 46562 | d1e716cc3b84 |
| 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@46116 | 7 |
* Scala 2.8.2.final (experimental support for 2.9.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 |
| boehmes@45590 | 19 |
- ISABELLE_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 |
----------------------------------------------------------------------- |