isabelle: src/Tools/jEdit/README_BUILD@f1201fac7398 (annotated)

43281 8d8b6ed0588c removed obsolete Netbeans project setup; wenzelm parents: 42898 diff changeset	1	Requirements for instantaneous build from sources
8d8b6ed0588c removed obsolete Netbeans project setup; wenzelm parents: 42898 diff changeset	2	=================================================
34324 8fa2711c0fe4 Requirements to build from sources. wenzelm parents: diff changeset	3
46117 edd50ec8d471 updated version information; wenzelm parents: 45912 diff changeset	4	* Official Java JDK 1.6 from Sun/Oracle/Apple
44700 f4b42f310f86 updated READMEs; wenzelm parents: 44043 diff changeset	5	http://www.oracle.com/technetwork/java/javase/downloads/index.html
34325 a9b94b8f545e requires Java from Sun; wenzelm parents: 34324 diff changeset	6
46117 edd50ec8d471 updated version information; wenzelm parents: 45912 diff changeset	7	(experimental support for JDK/OpenJDK 1.7)
edd50ec8d471 updated version information; wenzelm parents: 45912 diff changeset	8
edd50ec8d471 updated version information; wenzelm parents: 45912 diff changeset	9	* Scala 2.8.2.final http://www.scala-lang.org
edd50ec8d471 updated version information; wenzelm parents: 45912 diff changeset	10
edd50ec8d471 updated version information; wenzelm parents: 45912 diff changeset	11	(experimental support for 2.9.1.final)
34635 507ab6c2df46 updated to Netbeans 6.7; wenzelm parents: 34606 diff changeset	12
43281 8d8b6ed0588c removed obsolete Netbeans project setup; wenzelm parents: 42898 diff changeset	13	* Auxiliary jedit_build component
45912 3d0416135efb updated version information; wenzelm parents: 45691 diff changeset	14	http://www4.in.tum.de/~wenzelm/test/jedit_build-20111217.tar.gz
34919 a5407aabacfe Netbeans Library "Scala-compiler"; wenzelm parents: 34812 diff changeset	15
34325 a9b94b8f545e requires Java from Sun; wenzelm parents: 34324 diff changeset	16
43281 8d8b6ed0588c removed obsolete Netbeans project setup; wenzelm parents: 42898 diff changeset	17	Important settings within Isabelle environment
8d8b6ed0588c removed obsolete Netbeans project setup; wenzelm parents: 42898 diff changeset	18	==============================================
40442 19faffbe5066 more hints on building and running Isabelle/jEdit from command line; wenzelm parents: 38144 diff changeset	19
43281 8d8b6ed0588c removed obsolete Netbeans project setup; wenzelm parents: 42898 diff changeset	20	- JAVA_HOME
8d8b6ed0588c removed obsolete Netbeans project setup; wenzelm parents: 42898 diff changeset	21	- SCALA_HOME
44719 176adba0c35e tuned boehmes parents: 44700 diff changeset	22	- ISABELLE_JEDIT_BUILD_HOME (via "init_component .../jedit_build...")
40442 19faffbe5066 more hints on building and running Isabelle/jEdit from command line; wenzelm parents: 38144 diff changeset	23
19faffbe5066 more hints on building and running Isabelle/jEdit from command line; wenzelm parents: 38144 diff changeset	24
43281 8d8b6ed0588c removed obsolete Netbeans project setup; wenzelm parents: 42898 diff changeset	25	Build and run
8d8b6ed0588c removed obsolete Netbeans project setup; wenzelm parents: 42898 diff changeset	26	=============
34606 76509ef6f1b6 updated notes about Isabelle environment, no longer need to use "isabelle env netbeans"; wenzelm parents: 34600 diff changeset	27
43281 8d8b6ed0588c removed obsolete Netbeans project setup; wenzelm parents: 42898 diff changeset	28	isabelle jedit -l HOL Test.thy
34763 eb0f4a9ec052 tuned; wenzelm parents: 34761 diff changeset	29
eb0f4a9ec052 tuned; wenzelm parents: 34761 diff changeset	30
eb0f4a9ec052 tuned; wenzelm parents: 34761 diff changeset	31	-----------------------------------------------------------------------
eb0f4a9ec052 tuned; wenzelm parents: 34761 diff changeset	32	To run jedit with remote debugging enabled, I use the following
eb0f4a9ec052 tuned; wenzelm parents: 34761 diff changeset	33	command: "java
eb0f4a9ec052 tuned; wenzelm parents: 34761 diff changeset	34	-agentlib:jdwp=transport=dt_socket,suspend=y,server=y,address=XXXX
eb0f4a9ec052 tuned; wenzelm parents: 34761 diff changeset	35	-jar jedit.jar"
eb0f4a9ec052 tuned; wenzelm parents: 34761 diff changeset	36
eb0f4a9ec052 tuned; wenzelm parents: 34761 diff changeset	37	where XXXX is any open port number you wish. The above invocation
eb0f4a9ec052 tuned; wenzelm parents: 34761 diff changeset	38	works for Sun's JDK 5.0. There's an alternate incantation for earlier
eb0f4a9ec052 tuned; wenzelm parents: 34761 diff changeset	39	releases. (See
eb0f4a9ec052 tuned; wenzelm parents: 34761 diff changeset	40	http://java.sun.com/j2se/1.5.0/docs/guide/jpda/conninv.html)
eb0f4a9ec052 tuned; wenzelm parents: 34761 diff changeset	41	-----------------------------------------------------------------------

author	Cezary Kaliszyk <cezarykaliszyk@gmail.com>
	Fri, 10 Feb 2012 09:47:59 +0100
changeset 46448	f1201fac7398
parent 46117	edd50ec8d471
child 46913	3444a24dc4e9
permissions	-rw-r--r--