| author | wenzelm |
| Wed, 03 Jun 2009 11:26:15 +0200 | |
| changeset 34603 | 48330c850e2f |
| parent 34590 | 72b02f9c509c |
| child 34609 | 76509ef6f1b6 |
| permissions | -rw-r--r-- |
| wenzelm@34327 | 1 |
|
| wenzelm@34327 | 2 |
Requirements to build from sources |
| wenzelm@34327 | 3 |
================================== |
| wenzelm@34327 | 4 |
|
| wenzelm@34590 | 5 |
* Proper Java JRE/JDK from Sun, e.g. 1.6.0_10 |
| wenzelm@34328 | 6 |
http://java.sun.com/javase/downloads/index.jsp |
| wenzelm@34328 | 7 |
|
| wenzelm@34603 | 8 |
* Netbeans 6.5 or 6.7 |
| wenzelm@34380 | 9 |
http://www.netbeans.org/downloads/index.html |
| wenzelm@34327 | 10 |
|
| wenzelm@34603 | 11 |
* Scala for Netbeans: version 0.15.1 for NB 6.5, or version 6.7v1 for NB 6.7 |
| wenzelm@34590 | 12 |
http://sourceforge.net/project/showfiles.php?group_id=192439&package_id=256544 |
| wenzelm@34590 | 13 |
http://blogtrader.net/dcaoyuan/category/NetBeans |
| wenzelm@34327 | 14 |
http://wiki.netbeans.org/Scala |
| wenzelm@34327 | 15 |
|
| wenzelm@34575 | 16 |
* jEdit 4.3pre16 |
| wenzelm@34327 | 17 |
http://www.jedit.org/ |
| wenzelm@34384 | 18 |
|
| wenzelm@34575 | 19 |
Netbeans Project "jEdit": unpack official sources in ./contrib/jEdit |
| wenzelm@34384 | 20 |
|
| wenzelm@34327 | 21 |
* Flying Saucer XHTML renderer |
| wenzelm@34327 | 22 |
https://xhtmlrenderer.dev.java.net/ |
| wenzelm@34327 | 23 |
Netbeans Library "Flying-Saucer" = .../core-renderer.jar |
| wenzelm@34327 | 24 |
|
| wenzelm@34327 | 25 |
* Isabelle/Pure Scala components |
| wenzelm@34327 | 26 |
Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar |
| wenzelm@34327 | 27 |
|
| wenzelm@34328 | 28 |
|
| wenzelm@34341 | 29 |
Running the application within Netbeans |
| wenzelm@34341 | 30 |
======================================= |
| wenzelm@34328 | 31 |
|
| wenzelm@34328 | 32 |
* Proper Isabelle environment, e.g. via |
| wenzelm@34330 | 33 |
isabelle env netbeans ... |
| wenzelm@34341 | 34 |
|
| wenzelm@34341 | 35 |
* Project properties: add "Run" argument like |
| wenzelm@34590 | 36 |
-noserver -nobackground -settings=/home/makarius/isabelle/isabelle-jedit/dist |