src/Tools/jEdit/README_BUILD
author wenzelm
Thu Sep 02 00:48:07 2010 +0200 (2010-09-02)
changeset 38980 af73cf0dc31f
parent 38144 d590ee2c191e
child 40442 19faffbe5066
permissions -rw-r--r--
turned show_question_marks into proper configuration option;
show_question_marks only affects regular type/term pretty printing, not raw Term.string_of_vname;
tuned;
wenzelm@34324
     1
wenzelm@34324
     2
Requirements to build from sources
wenzelm@34324
     3
==================================
wenzelm@34324
     4
wenzelm@37847
     5
* Proper Java JRE/JDK from Sun, e.g. 1.6.0_21
wenzelm@34325
     6
  http://java.sun.com/javase/downloads/index.jsp
wenzelm@34325
     7
wenzelm@38144
     8
* Netbeans 6.9
wenzelm@34377
     9
  http://www.netbeans.org/downloads/index.html
wenzelm@34324
    10
wenzelm@38144
    11
* Scala for Netbeans: version 6.9v1.1.0
wenzelm@36789
    12
  http://wiki.netbeans.org/Scala
wenzelm@38144
    13
  http://wiki.netbeans.org/Scala68v1
wenzelm@38144
    14
  http://sourceforge.net/projects/erlybird/files/nb-scala/6.9v1.1.0
wenzelm@34324
    15
wenzelm@37218
    16
* jEdit 4.3.2
wenzelm@34324
    17
  http://www.jedit.org/
wenzelm@34645
    18
  Netbeans Project "jEdit": install official sources as ./contrib/jEdit/.
wenzelm@34635
    19
wenzelm@34635
    20
* jEdit plugins:
wenzelm@36013
    21
  Netbeans Library "Console" = $HOME/.jedit/jars/Console.jar
wenzelm@34763
    22
  Netbeans Library "SideKick" = $HOME/.jedit/jars/SideKick.jar
wenzelm@34763
    23
  Netbeans Library "ErrorList" = $HOME/.jedit/jars/ErrorList.jar
wenzelm@34763
    24
  Netbeans Library "Hyperlinks" = $HOME/.jedit/jars/Hyperlinks.jar
wenzelm@34381
    25
wenzelm@34785
    26
* Cobra Renderer 0.98.4
wenzelm@34745
    27
  http://lobobrowser.org/cobra.jsp
wenzelm@34745
    28
  Netbeans Library "Cobra-Renderer" = .../cobra.jar
wenzelm@34745
    29
  Netbenas Library "Rhino-JavaScript" = .../js.jar
wenzelm@34745
    30
wenzelm@34324
    31
* Isabelle/Pure Scala components
wenzelm@34324
    32
  Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar
wenzelm@34324
    33
wenzelm@37847
    34
* Scala Compiler 2.8.0.final
wenzelm@37218
    35
  http://www.scala-lang.org
wenzelm@34919
    36
  Netbeans Library "Scala-compiler" = $SCALA_HOME/lib/scala-compiler.jar
wenzelm@34919
    37
wenzelm@34325
    38
wenzelm@34338
    39
Running the application within Netbeans
wenzelm@34338
    40
=======================================
wenzelm@34325
    41
wenzelm@34338
    42
* Project properties: add "Run" argument like
wenzelm@34587
    43
    -noserver -nobackground -settings=/home/makarius/isabelle/isabelle-jedit/dist
wenzelm@34606
    44
wenzelm@34635
    45
* The Isabelle environment is obtained automatically via
wenzelm@34635
    46
  "$ISABELLE_HOME/bin/isabelle getenv", where ISABELLE_HOME is determined as follows:
wenzelm@34606
    47
wenzelm@34635
    48
    (1) via regular Isabelle settings,
wenzelm@34635
    49
    e.g. "isabelle env netbeans"
wenzelm@34606
    50
wenzelm@34635
    51
    (2) or via ISABELLE_HOME from raw process environment,
wenzelm@34635
    52
    	e.g. "env ISABELLE_HOME=.../Isabelle netbeans"
wenzelm@34606
    53
wenzelm@34606
    54
    (3) or via JVM system properties (cf. "Run / VM Options")
wenzelm@34635
    55
    	e.g. -Disabelle.home=.../Isabelle
wenzelm@34606
    56
wenzelm@34763
    57
wenzelm@34763
    58
Misc notes
wenzelm@34763
    59
==========
wenzelm@34763
    60
wenzelm@34763
    61
- Netbeans config/Editors/Preferences/...-CustomPreferences.xml
wenzelm@34763
    62
wenzelm@34763
    63
    <entry javaType="java.lang.Integer" name="caret-blink-rate" xml:space="preserve">
wenzelm@34763
    64
        <value><![CDATA[0]]></value>
wenzelm@34763
    65
    </entry>
wenzelm@34763
    66
wenzelm@34763
    67
-----------------------------------------------------------------------
wenzelm@34763
    68
To run jedit with remote debugging enabled, I use the following
wenzelm@34763
    69
command: "java
wenzelm@34763
    70
-agentlib:jdwp=transport=dt_socket,suspend=y,server=y,address=XXXX
wenzelm@34763
    71
-jar jedit.jar"
wenzelm@34763
    72
wenzelm@34763
    73
where XXXX is any open port number you wish. The above invocation
wenzelm@34763
    74
works for Sun's JDK 5.0.  There's an alternate incantation for earlier
wenzelm@34763
    75
releases. (See
wenzelm@34763
    76
http://java.sun.com/j2se/1.5.0/docs/guide/jpda/conninv.html)
wenzelm@34763
    77
-----------------------------------------------------------------------