author | wenzelm |
Sun, 06 Sep 2009 22:27:32 +0200 | |
changeset 34717 | 3f32e08bbb6c |
parent 34661 | a034cdf55f69 |
child 34743 | eb49306946f4 |
permissions | -rw-r--r-- |
34324 | 1 |
|
2 |
Requirements to build from sources |
|
3 |
================================== |
|
4 |
||
34587 | 5 |
* Proper Java JRE/JDK from Sun, e.g. 1.6.0_10 |
34325 | 6 |
http://java.sun.com/javase/downloads/index.jsp |
7 |
||
34635 | 8 |
* Netbeans 6.7 |
34377 | 9 |
http://www.netbeans.org/downloads/index.html |
34324 | 10 |
|
34635 | 11 |
* Scala for Netbeans: version 6.7v1 for NB 6.7 |
34587 | 12 |
http://sourceforge.net/project/showfiles.php?group_id=192439&package_id=256544 |
13 |
http://blogtrader.net/dcaoyuan/category/NetBeans |
|
34324 | 14 |
http://wiki.netbeans.org/Scala |
15 |
||
34645 | 16 |
* jEdit 4.3pre17 |
34324 | 17 |
http://www.jedit.org/ |
34381
a94d2fb96fd5
basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents:
34377
diff
changeset
|
18 |
|
34645 | 19 |
Netbeans Project "jEdit": install official sources as ./contrib/jEdit/. |
34635 | 20 |
|
21 |
* jEdit plugins: |
|
22 |
Netbeans Library "Sidekick" = $HOME/.jedit/jars/SideKick.jar |
|
23 |
Netbeans Library "ErrorList" = $HOME/.jedit/jars/ErrorList.jar |
|
34661 | 24 |
Netbeans Library "Hyperlink" = $HOME/.jedit/jars/Hyperlinks.jar |
34381
a94d2fb96fd5
basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents:
34377
diff
changeset
|
25 |
|
34324 | 26 |
* Flying Saucer XHTML renderer |
27 |
https://xhtmlrenderer.dev.java.net/ |
|
28 |
Netbeans Library "Flying-Saucer" = .../core-renderer.jar |
|
29 |
||
30 |
* Isabelle/Pure Scala components |
|
31 |
Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar |
|
32 |
||
34325 | 33 |
|
34338 | 34 |
Running the application within Netbeans |
35 |
======================================= |
|
34325 | 36 |
|
34338 | 37 |
* Project properties: add "Run" argument like |
34587 | 38 |
-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
|
39 |
|
34635 | 40 |
* The Isabelle environment is obtained automatically via |
41 |
"$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
|
42 |
|
34635 | 43 |
(1) via regular Isabelle settings, |
44 |
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
|
45 |
|
34635 | 46 |
(2) or via ISABELLE_HOME from raw process environment, |
47 |
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
|
48 |
|
76509ef6f1b6
updated notes about Isabelle environment, no longer need to use "isabelle env netbeans";
wenzelm
parents:
34600
diff
changeset
|
49 |
(3) or via JVM system properties (cf. "Run / VM Options") |
34635 | 50 |
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
|
51 |