src/Tools/jEdit/README_BUILD
author wenzelm
Sat, 09 Jul 2011 21:53:27 +0200
changeset 43721 fad8634cee62
parent 43281 8d8b6ed0588c
child 44043 63c158415dbb
permissions -rw-r--r--
echo prover input via raw_messages, for improved protocol tracing;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
43281
8d8b6ed0588c removed obsolete Netbeans project setup;
wenzelm
parents: 42898
diff changeset
     1
Requirements for instantaneous build from sources
8d8b6ed0588c removed obsolete Netbeans project setup;
wenzelm
parents: 42898
diff changeset
     2
=================================================
34324
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
     3
43281
8d8b6ed0588c removed obsolete Netbeans project setup;
wenzelm
parents: 42898
diff changeset
     4
* Proper Java JDK from Sun/Oracle/Apple, e.g. 1.6.0_24 or 1.6.0_25
34325
a9b94b8f545e requires Java from Sun;
wenzelm
parents: 34324
diff changeset
     5
  http://java.sun.com/javase/downloads/index.jsp
a9b94b8f545e requires Java from Sun;
wenzelm
parents: 34324
diff changeset
     6
43281
8d8b6ed0588c removed obsolete Netbeans project setup;
wenzelm
parents: 42898
diff changeset
     7
* Scala Compiler 2.8.1.final
8d8b6ed0588c removed obsolete Netbeans project setup;
wenzelm
parents: 42898
diff changeset
     8
  http://www.scala-lang.org
34635
507ab6c2df46 updated to Netbeans 6.7;
wenzelm
parents: 34606
diff changeset
     9
43281
8d8b6ed0588c removed obsolete Netbeans project setup;
wenzelm
parents: 42898
diff changeset
    10
* Auxiliary jedit_build component
8d8b6ed0588c removed obsolete Netbeans project setup;
wenzelm
parents: 42898
diff changeset
    11
  http://www4.in.tum.de/~wenzelm/test/jedit_build-20110521.tar.gz
34919
a5407aabacfe Netbeans Library "Scala-compiler";
wenzelm
parents: 34812
diff changeset
    12
34325
a9b94b8f545e requires Java from Sun;
wenzelm
parents: 34324
diff changeset
    13
43281
8d8b6ed0588c removed obsolete Netbeans project setup;
wenzelm
parents: 42898
diff changeset
    14
Important settings within Isabelle environment
8d8b6ed0588c removed obsolete Netbeans project setup;
wenzelm
parents: 42898
diff changeset
    15
==============================================
40442
19faffbe5066 more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents: 38144
diff changeset
    16
43281
8d8b6ed0588c removed obsolete Netbeans project setup;
wenzelm
parents: 42898
diff changeset
    17
- JAVA_HOME
8d8b6ed0588c removed obsolete Netbeans project setup;
wenzelm
parents: 42898
diff changeset
    18
- SCALA_HOME
8d8b6ed0588c removed obsolete Netbeans project setup;
wenzelm
parents: 42898
diff changeset
    19
- JEDIT_BUILD_HOME (via "init_component .../jedit_build...")
40442
19faffbe5066 more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents: 38144
diff changeset
    20
19faffbe5066 more hints on building and running Isabelle/jEdit from command line;
wenzelm
parents: 38144
diff changeset
    21
43281
8d8b6ed0588c removed obsolete Netbeans project setup;
wenzelm
parents: 42898
diff changeset
    22
Build and run
8d8b6ed0588c removed obsolete Netbeans project setup;
wenzelm
parents: 42898
diff changeset
    23
=============
34606
76509ef6f1b6 updated notes about Isabelle environment, no longer need to use "isabelle env netbeans";
wenzelm
parents: 34600
diff changeset
    24
43281
8d8b6ed0588c removed obsolete Netbeans project setup;
wenzelm
parents: 42898
diff changeset
    25
isabelle jedit -l HOL Test.thy
34763
wenzelm
parents: 34761
diff changeset
    26
wenzelm
parents: 34761
diff changeset
    27
wenzelm
parents: 34761
diff changeset
    28
-----------------------------------------------------------------------
wenzelm
parents: 34761
diff changeset
    29
To run jedit with remote debugging enabled, I use the following
wenzelm
parents: 34761
diff changeset
    30
command: "java
wenzelm
parents: 34761
diff changeset
    31
-agentlib:jdwp=transport=dt_socket,suspend=y,server=y,address=XXXX
wenzelm
parents: 34761
diff changeset
    32
-jar jedit.jar"
wenzelm
parents: 34761
diff changeset
    33
wenzelm
parents: 34761
diff changeset
    34
where XXXX is any open port number you wish. The above invocation
wenzelm
parents: 34761
diff changeset
    35
works for Sun's JDK 5.0.  There's an alternate incantation for earlier
wenzelm
parents: 34761
diff changeset
    36
releases. (See
wenzelm
parents: 34761
diff changeset
    37
http://java.sun.com/j2se/1.5.0/docs/guide/jpda/conninv.html)
wenzelm
parents: 34761
diff changeset
    38
-----------------------------------------------------------------------