src/Tools/jEdit/README_BUILD
author wenzelm
Sat, 22 Oct 2011 19:22:13 +0200
changeset 45245 7f6c85421fa9
parent 45150 cf6a5de94bfc
child 45691 d1e716cc3b84
permissions -rw-r--r--
experimental support for Scala 2.9.1.final;

Requirements for instantaneous build from sources
=================================================

* Official Java JDK from Sun/Oracle/Apple, e.g. 1.6.0_27
  http://www.oracle.com/technetwork/java/javase/downloads/index.html

* Scala 2.8.2.final (experimental support for 2.9.1.final)
  http://www.scala-lang.org

* Auxiliary jedit_build component
  http://www4.in.tum.de/~wenzelm/test/jedit_build-20110622.tar.gz


Important settings within Isabelle environment
==============================================

- JAVA_HOME
- SCALA_HOME
- ISABELLE_JEDIT_BUILD_HOME (via "init_component .../jedit_build...")


Build and run
=============

isabelle jedit -l HOL Test.thy


-----------------------------------------------------------------------
To run jedit with remote debugging enabled, I use the following
command: "java
-agentlib:jdwp=transport=dt_socket,suspend=y,server=y,address=XXXX
-jar jedit.jar"

where XXXX is any open port number you wish. The above invocation
works for Sun's JDK 5.0.  There's an alternate incantation for earlier
releases. (See
http://java.sun.com/j2se/1.5.0/docs/guide/jpda/conninv.html)
-----------------------------------------------------------------------