author | wenzelm |
Fri, 20 May 2011 23:59:46 +0200 | |
changeset 42898 | 978b7ea3e3ee |
parent 42721 | dfeec3aaae9d |
child 43281 | 8d8b6ed0588c |
permissions | -rw-r--r-- |
34324 | 1 |
|
2 |
Requirements to build from sources |
|
3 |
================================== |
|
4 |
||
42898 | 5 |
* Proper Java JRE/JDK from Sun, e.g. 1.6.0_24 or 1.6.0_25 |
34325 | 6 |
http://java.sun.com/javase/downloads/index.jsp |
7 |
||
38144 | 8 |
* Netbeans 6.9 |
34377 | 9 |
http://www.netbeans.org/downloads/index.html |
34324 | 10 |
|
38144 | 11 |
* Scala for Netbeans: version 6.9v1.1.0 |
36789 | 12 |
http://wiki.netbeans.org/Scala |
38144 | 13 |
http://wiki.netbeans.org/Scala68v1 |
14 |
http://sourceforge.net/projects/erlybird/files/nb-scala/6.9v1.1.0 |
|
34324 | 15 |
|
37218 | 16 |
* jEdit 4.3.2 |
34324 | 17 |
http://www.jedit.org/ |
34645 | 18 |
Netbeans Project "jEdit": install official sources as ./contrib/jEdit/. |
34635 | 19 |
|
20 |
* jEdit plugins: |
|
36013
8cc25cfd5325
adapted to Netbeans 6.8 and Scala for Netbeans 6.8v1.1;
wenzelm
parents:
35005
diff
changeset
|
21 |
Netbeans Library "Console" = $HOME/.jedit/jars/Console.jar |
34763 | 22 |
Netbeans Library "SideKick" = $HOME/.jedit/jars/SideKick.jar |
23 |
Netbeans Library "ErrorList" = $HOME/.jedit/jars/ErrorList.jar |
|
24 |
Netbeans Library "Hyperlinks" = $HOME/.jedit/jars/Hyperlinks.jar |
|
34381
a94d2fb96fd5
basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents:
34377
diff
changeset
|
25 |
|
34785 | 26 |
* Cobra Renderer 0.98.4 |
34745 | 27 |
http://lobobrowser.org/cobra.jsp |
28 |
Netbeans Library "Cobra-Renderer" = .../cobra.jar |
|
29 |
Netbenas Library "Rhino-JavaScript" = .../js.jar |
|
30 |
||
34324 | 31 |
* Isabelle/Pure Scala components |
32 |
Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar |
|
33 |
||
42721 | 34 |
* Scala Compiler 2.8.1.final or 2.9.0.final |
37218 | 35 |
http://www.scala-lang.org |
34919 | 36 |
Netbeans Library "Scala-compiler" = $SCALA_HOME/lib/scala-compiler.jar |
37 |
||
34325 | 38 |
|
40442
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
39 |
Building and running from command line (recommended) |
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
40 |
==================================================== |
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
41 |
|
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
42 |
* Manual build: |
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
43 |
|
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
44 |
( cd "$HOME/isabelle/repos/src/Pure" && isabelle env ./build-jars ) |
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
45 |
ant jar |
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
46 |
makedist -j "$HOME/lib/jedit-4.3.2" #location of original jedit distribution |
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
47 |
|
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
48 |
* Component setup, e.g. in $ISABELLE_HOME_USER/.isabelle/etc/settings: |
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
49 |
|
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
50 |
[ -d "$HOME/isabelle/jedit" ] && init_component "$HOME/isabelle/jedit" #build location |
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
51 |
|
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
52 |
* Run: |
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
53 |
|
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
54 |
isabelle jedit -l HOL Test.thy & |
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
55 |
|
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
56 |
|
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
57 |
Running the application within Netbeans (not recommended) |
19faffbe5066
more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents:
38144
diff
changeset
|
58 |
========================================================= |
34325 | 59 |
|
34338 | 60 |
* Project properties: add "Run" argument like |
34587 | 61 |
-noserver -nobackground -settings=/home/makarius/isabelle/isabelle-jedit/dist |
34606
76509ef6f1b6
updated notes about Isabelle environment, no longer need to use "isabelle env netbeans";
wenzelm
parents:
34600
diff
changeset
|
62 |
|
34635 | 63 |
* The Isabelle environment is obtained automatically via |
64 |
"$ISABELLE_HOME/bin/isabelle getenv", where ISABELLE_HOME is determined as follows: |
|
34606
76509ef6f1b6
updated notes about Isabelle environment, no longer need to use "isabelle env netbeans";
wenzelm
parents:
34600
diff
changeset
|
65 |
|
34635 | 66 |
(1) via regular Isabelle settings, |
67 |
e.g. "isabelle env netbeans" |
|
34606
76509ef6f1b6
updated notes about Isabelle environment, no longer need to use "isabelle env netbeans";
wenzelm
parents:
34600
diff
changeset
|
68 |
|
34635 | 69 |
(2) or via ISABELLE_HOME from raw process environment, |
70 |
e.g. "env ISABELLE_HOME=.../Isabelle netbeans" |
|
34606
76509ef6f1b6
updated notes about Isabelle environment, no longer need to use "isabelle env netbeans";
wenzelm
parents:
34600
diff
changeset
|
71 |
|
76509ef6f1b6
updated notes about Isabelle environment, no longer need to use "isabelle env netbeans";
wenzelm
parents:
34600
diff
changeset
|
72 |
(3) or via JVM system properties (cf. "Run / VM Options") |
34635 | 73 |
e.g. -Disabelle.home=.../Isabelle |
34606
76509ef6f1b6
updated notes about Isabelle environment, no longer need to use "isabelle env netbeans";
wenzelm
parents:
34600
diff
changeset
|
74 |
|
34763 | 75 |
|
76 |
Misc notes |
|
77 |
========== |
|
78 |
||
79 |
- Netbeans config/Editors/Preferences/...-CustomPreferences.xml |
|
80 |
||
81 |
<entry javaType="java.lang.Integer" name="caret-blink-rate" xml:space="preserve"> |
|
82 |
<value><![CDATA[0]]></value> |
|
83 |
</entry> |
|
84 |
||
85 |
----------------------------------------------------------------------- |
|
86 |
To run jedit with remote debugging enabled, I use the following |
|
87 |
command: "java |
|
88 |
-agentlib:jdwp=transport=dt_socket,suspend=y,server=y,address=XXXX |
|
89 |
-jar jedit.jar" |
|
90 |
||
91 |
where XXXX is any open port number you wish. The above invocation |
|
92 |
works for Sun's JDK 5.0. There's an alternate incantation for earlier |
|
93 |
releases. (See |
|
94 |
http://java.sun.com/j2se/1.5.0/docs/guide/jpda/conninv.html) |
|
95 |
----------------------------------------------------------------------- |