author | wenzelm |
Tue, 13 Mar 2012 23:45:34 +0100 | |
changeset 46913 | 3444a24dc4e9 |
parent 46117 | edd50ec8d471 |
child 46997 | 395b7277ed76 |
permissions | -rw-r--r-- |
43281 | 1 |
Requirements for instantaneous build from sources |
2 |
================================================= |
|
34324 | 3 |
|
46117 | 4 |
* Official Java JDK 1.6 from Sun/Oracle/Apple |
44700 | 5 |
http://www.oracle.com/technetwork/java/javase/downloads/index.html |
34325 | 6 |
|
46117 | 7 |
(experimental support for JDK/OpenJDK 1.7) |
8 |
||
46913
3444a24dc4e9
updated to jedit_build-20120313 with jedit-4.5.0;
wenzelm
parents:
46117
diff
changeset
|
9 |
* Scala 2.8.2.final or 2.9.1-1 |
3444a24dc4e9
updated to jedit_build-20120313 with jedit-4.5.0;
wenzelm
parents:
46117
diff
changeset
|
10 |
http://www.scala-lang.org |
34635 | 11 |
|
43281 | 12 |
* Auxiliary jedit_build component |
46913
3444a24dc4e9
updated to jedit_build-20120313 with jedit-4.5.0;
wenzelm
parents:
46117
diff
changeset
|
13 |
http://www4.in.tum.de/~wenzelm/test/jedit_build-20120313.tar.gz |
34919 | 14 |
|
34325 | 15 |
|
43281 | 16 |
Important settings within Isabelle environment |
17 |
============================================== |
|
40442
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
18 |
|
43281 | 19 |
- JAVA_HOME |
20 |
- SCALA_HOME |
|
44719 | 21 |
- ISABELLE_JEDIT_BUILD_HOME (via "init_component .../jedit_build...") |
40442
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
22 |
|
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
23 |
|
43281 | 24 |
Build and run |
25 |
============= |
|
34606
76509ef6f1b6
updated notes about Isabelle environment, no longer need to use "isabelle env netbeans";
wenzelm
parents:
34600
diff
changeset
|
26 |
|
43281 | 27 |
isabelle jedit -l HOL Test.thy |
34763 | 28 |
|
29 |
||
30 |
----------------------------------------------------------------------- |
|
31 |
To run jedit with remote debugging enabled, I use the following |
|
32 |
command: "java |
|
33 |
-agentlib:jdwp=transport=dt_socket,suspend=y,server=y,address=XXXX |
|
34 |
-jar jedit.jar" |
|
35 |
||
36 |
where XXXX is any open port number you wish. The above invocation |
|
37 |
works for Sun's JDK 5.0. There's an alternate incantation for earlier |
|
38 |
releases. (See |
|
39 |
http://java.sun.com/j2se/1.5.0/docs/guide/jpda/conninv.html) |
|
40 |
----------------------------------------------------------------------- |