src/Tools/jEdit/README_BUILD
author wenzelm
Wed Jan 04 15:41:18 2012 +0100 (2012-01-04)
changeset 46117 edd50ec8d471
parent 45912 3d0416135efb
child 46913 3444a24dc4e9
permissions -rw-r--r--
updated version information;
discontinued somewhat obsolete hotspot check: OpenJDK 1.7 works reasonably well, and final bundling provides certain tested JDK/JRE versions;
     1 Requirements for instantaneous build from sources
     2 =================================================
     3 
     4 * Official Java JDK 1.6 from Sun/Oracle/Apple
     5   http://www.oracle.com/technetwork/java/javase/downloads/index.html
     6 
     7   (experimental support for JDK/OpenJDK 1.7)
     8 
     9 * Scala 2.8.2.final http://www.scala-lang.org
    10 
    11   (experimental support for 2.9.1.final)
    12 
    13 * Auxiliary jedit_build component
    14   http://www4.in.tum.de/~wenzelm/test/jedit_build-20111217.tar.gz
    15 
    16 
    17 Important settings within Isabelle environment
    18 ==============================================
    19 
    20 - JAVA_HOME
    21 - SCALA_HOME
    22 - ISABELLE_JEDIT_BUILD_HOME (via "init_component .../jedit_build...")
    23 
    24 
    25 Build and run
    26 =============
    27 
    28 isabelle jedit -l HOL Test.thy
    29 
    30 
    31 -----------------------------------------------------------------------
    32 To run jedit with remote debugging enabled, I use the following
    33 command: "java
    34 -agentlib:jdwp=transport=dt_socket,suspend=y,server=y,address=XXXX
    35 -jar jedit.jar"
    36 
    37 where XXXX is any open port number you wish. The above invocation
    38 works for Sun's JDK 5.0.  There's an alternate incantation for earlier
    39 releases. (See
    40 http://java.sun.com/j2se/1.5.0/docs/guide/jpda/conninv.html)
    41 -----------------------------------------------------------------------