2 Requirements to build from sources
3 ==================================
5 * Proper Java JRE/JDK from Sun, e.g. 1.6.0_10
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
26 * Flying Saucer XHTML renderer
27 https://xhtmlrenderer.dev.java.net/
28 Netbeans Library "Flying-Saucer" = .../core-renderer.jar
30 * Isabelle/Pure Scala components
31 Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar
34 Running the application within Netbeans
35 =======================================
37 * Project properties: add "Run" argument like
38 -noserver -nobackground -settings=/home/makarius/isabelle/isabelle-jedit/dist
40 * The Isabelle environment is obtained automatically via
41 "$ISABELLE_HOME/bin/isabelle getenv", where ISABELLE_HOME is determined as follows:
43 (1) via regular Isabelle settings,
44 e.g. "isabelle env netbeans"
46 (2) or via ISABELLE_HOME from raw process environment,
47 e.g. "env ISABELLE_HOME=.../Isabelle netbeans"
49 (3) or via JVM system properties (cf. "Run / VM Options")
50 e.g. -Disabelle.home=.../Isabelle