| author | wenzelm |
| Tue, 13 Mar 2012 23:45:34 +0100 | |
| changeset 47784 | 3444a24dc4e9 |
| parent 46988 | edd50ec8d471 |
| child 47868 | 395b7277ed76 |
| permissions | -rw-r--r-- |
| wenzelm@44161 | 1 |
Requirements for instantaneous build from sources |
| wenzelm@44161 | 2 |
================================================= |
| wenzelm@34327 | 3 |
|
| wenzelm@46988 | 4 |
* Official Java JDK 1.6 from Sun/Oracle/Apple |
| wenzelm@45577 | 5 |
http://www.oracle.com/technetwork/java/javase/downloads/index.html |
| wenzelm@34328 | 6 |
|
| wenzelm@46988 | 7 |
(experimental support for JDK/OpenJDK 1.7) |
| wenzelm@46988 | 8 |
|
| wenzelm@47784 | 9 |
* Scala 2.8.2.final or 2.9.1-1 |
| wenzelm@47784 | 10 |
http://www.scala-lang.org |
| wenzelm@34327 | 11 |
|
| wenzelm@44161 | 12 |
* Auxiliary jedit_build component |
| wenzelm@47784 | 13 |
http://www4.in.tum.de/~wenzelm/test/jedit_build-20120313.tar.gz |
| wenzelm@34327 | 14 |
|
| wenzelm@34638 | 15 |
|
| wenzelm@44161 | 16 |
Important settings within Isabelle environment |
| wenzelm@44161 | 17 |
============================================== |
| wenzelm@34384 | 18 |
|
| wenzelm@44161 | 19 |
- JAVA_HOME |
| wenzelm@44161 | 20 |
- SCALA_HOME |
| boehmes@45590 | 21 |
- ISABELLE_JEDIT_BUILD_HOME (via "init_component .../jedit_build...") |
| wenzelm@34748 | 22 |
|
| wenzelm@34327 | 23 |
|
| wenzelm@44161 | 24 |
Build and run |
| wenzelm@44161 | 25 |
============= |
| wenzelm@34919 | 26 |
|
| wenzelm@44161 | 27 |
isabelle jedit -l HOL Test.thy |
| wenzelm@34328 | 28 |
|
| wenzelm@34766 | 29 |
|
| wenzelm@34766 | 30 |
----------------------------------------------------------------------- |
| wenzelm@34766 | 31 |
To run jedit with remote debugging enabled, I use the following |
| wenzelm@34766 | 32 |
command: "java |
| wenzelm@34766 | 33 |
-agentlib:jdwp=transport=dt_socket,suspend=y,server=y,address=XXXX |
| wenzelm@34766 | 34 |
-jar jedit.jar" |
| wenzelm@34766 | 35 |
|
| wenzelm@34766 | 36 |
where XXXX is any open port number you wish. The above invocation |
| wenzelm@34766 | 37 |
works for Sun's JDK 5.0. There's an alternate incantation for earlier |
| wenzelm@34766 | 38 |
releases. (See |
| wenzelm@34766 | 39 |
http://java.sun.com/j2se/1.5.0/docs/guide/jpda/conninv.html) |
| wenzelm@34766 | 40 |
----------------------------------------------------------------------- |