2 Requirements to build from sources
3 ==================================
5 * Proper Java JRE/JDK from Sun, e.g. 1.6.0_17
6 http://java.sun.com/javase/downloads/index.jsp
9 http://www.netbeans.org/downloads/index.html
11 * Scala for Netbeans: version 6.7v1 for NB 6.7
12 http://sourceforge.net/project/showfiles.php?group_id=192439&package_id=256544
13 http://blogtrader.net/dcaoyuan/category/NetBeans
14 http://wiki.netbeans.org/Scala
19 Netbeans Project "jEdit": install official sources as ./contrib/jEdit/.
22 Netbeans Library "Sidekick" = $HOME/.jedit/jars/SideKick.jar
23 Netbeans Library "ErrorList" = $HOME/.jedit/jars/ErrorList.jar
24 Netbeans Library "Hyperlink" = $HOME/.jedit/jars/Hyperlinks.jar
27 http://lobobrowser.org/cobra.jsp
28 Netbeans Library "Cobra-Renderer" = .../cobra.jar
29 Netbenas Library "Rhino-JavaScript" = .../js.jar
31 * Isabelle/Pure Scala components
32 Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar
35 Running the application within Netbeans
36 =======================================
38 * Project properties: add "Run" argument like
39 -noserver -nobackground -settings=/home/makarius/isabelle/isabelle-jedit/dist
41 * The Isabelle environment is obtained automatically via
42 "$ISABELLE_HOME/bin/isabelle getenv", where ISABELLE_HOME is determined as follows:
44 (1) via regular Isabelle settings,
45 e.g. "isabelle env netbeans"
47 (2) or via ISABELLE_HOME from raw process environment,
48 e.g. "env ISABELLE_HOME=.../Isabelle netbeans"
50 (3) or via JVM system properties (cf. "Run / VM Options")
51 e.g. -Disabelle.home=.../Isabelle