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