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;
wenzelm@43281
     1
Requirements for instantaneous build from sources
wenzelm@43281
     2
=================================================
wenzelm@34324
     3
wenzelm@46117
     4
* Official Java JDK 1.6 from Sun/Oracle/Apple
wenzelm@44700
     5
  http://www.oracle.com/technetwork/java/javase/downloads/index.html
wenzelm@34325
     6
wenzelm@46117
     7
  (experimental support for JDK/OpenJDK 1.7)
wenzelm@46117
     8
wenzelm@46117
     9
* Scala 2.8.2.final http://www.scala-lang.org
wenzelm@46117
    10
wenzelm@46117
    11
  (experimental support for 2.9.1.final)
wenzelm@34635
    12
wenzelm@43281
    13
* Auxiliary jedit_build component
wenzelm@45912
    14
  http://www4.in.tum.de/~wenzelm/test/jedit_build-20111217.tar.gz
wenzelm@34919
    15
wenzelm@34325
    16
wenzelm@43281
    17
Important settings within Isabelle environment
wenzelm@43281
    18
==============================================
wenzelm@40442
    19
wenzelm@43281
    20
- JAVA_HOME
wenzelm@43281
    21
- SCALA_HOME
boehmes@44719
    22
- ISABELLE_JEDIT_BUILD_HOME (via "init_component .../jedit_build...")
wenzelm@40442
    23
wenzelm@40442
    24
wenzelm@43281
    25
Build and run
wenzelm@43281
    26
=============
wenzelm@34606
    27
wenzelm@43281
    28
isabelle jedit -l HOL Test.thy
wenzelm@34763
    29
wenzelm@34763
    30
wenzelm@34763
    31
-----------------------------------------------------------------------
wenzelm@34763
    32
To run jedit with remote debugging enabled, I use the following
wenzelm@34763
    33
command: "java
wenzelm@34763
    34
-agentlib:jdwp=transport=dt_socket,suspend=y,server=y,address=XXXX
wenzelm@34763
    35
-jar jedit.jar"
wenzelm@34763
    36
wenzelm@34763
    37
where XXXX is any open port number you wish. The above invocation
wenzelm@34763
    38
works for Sun's JDK 5.0.  There's an alternate incantation for earlier
wenzelm@34763
    39
releases. (See
wenzelm@34763
    40
http://java.sun.com/j2se/1.5.0/docs/guide/jpda/conninv.html)
wenzelm@34763
    41
-----------------------------------------------------------------------