isabelle: src/Tools/jEdit/README_BUILD@507ab6c2df46 (annotated)

34324 8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	1
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	2	Requirements to build from sources
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	3	==================================
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	4
34587 72b02f9c509c updated versions; wenzelm parents: 34572 diff changeset	5	* Proper Java JRE/JDK from Sun, e.g. 1.6.0_10
34325 a9b94b8f545e requires Java from Sun; wenzelm parents: 34324 diff changeset	6	http://java.sun.com/javase/downloads/index.jsp
a9b94b8f545e requires Java from Sun; wenzelm parents: 34324 diff changeset	7
34635 507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	8	* Netbeans 6.7
34377 426d7b9ea225 updates for Netbeans 6.5; wenzelm parents: 34338 diff changeset	9	http://www.netbeans.org/downloads/index.html
34324 8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	10
34635 507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	11	* Scala for Netbeans: version 6.7v1 for NB 6.7
34587 72b02f9c509c updated versions; wenzelm parents: 34572 diff changeset	12	http://sourceforge.net/project/showfiles.php?group_id=192439&package_id=256544
72b02f9c509c updated versions; wenzelm parents: 34572 diff changeset	13	http://blogtrader.net/dcaoyuan/category/NetBeans
34324 8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	14	http://wiki.netbeans.org/Scala
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	15
34572 014f67650212 more accurate setup for "jEdit" project; wenzelm parents: 34381 diff changeset	16	* jEdit 4.3pre16
34324 8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	17	http://www.jedit.org/
34381 a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling; wenzelm parents: 34377 diff changeset	18
34635 507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	19	Netbeans Project "jEdit": install official sources as ./contrib/jEdit
507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	20
507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	21	* jEdit plugins:
507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	22	Netbeans Library "Sidekick" = $HOME/.jedit/jars/SideKick.jar
507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	23	Netbeans Library "ErrorList" = $HOME/.jedit/jars/ErrorList.jar
507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	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 8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	26	* Flying Saucer XHTML renderer
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	27	https://xhtmlrenderer.dev.java.net/
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	28	Netbeans Library "Flying-Saucer" = .../core-renderer.jar
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	29
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	30	* Isabelle/Pure Scala components
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	31	Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar
8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	32
34325 a9b94b8f545e requires Java from Sun; wenzelm parents: 34324 diff changeset	33
34338 b7fdb6b14e0b hint on -settings=...; wenzelm parents: 34327 diff changeset	34	Running the application within Netbeans
b7fdb6b14e0b hint on -settings=...; wenzelm parents: 34327 diff changeset	35	=======================================
34325 a9b94b8f545e requires Java from Sun; wenzelm parents: 34324 diff changeset	36
34338 b7fdb6b14e0b hint on -settings=...; wenzelm parents: 34327 diff changeset	37	* Project properties: add "Run" argument like
34587 72b02f9c509c updated versions; wenzelm parents: 34572 diff changeset	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 507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	40	* The Isabelle environment is obtained automatically via
507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	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 507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	43	(1) via regular Isabelle settings,
507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	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 507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	46	(2) or via ISABELLE_HOME from raw process environment,
507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	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 507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	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

author	wenzelm
	Fri, 03 Jul 2009 21:54:00 +0200
changeset 34635	507ab6c2df46
parent 34606	76509ef6f1b6
child 34645	f6f124c9b63b
permissions	-rw-r--r--