src/Tools/jEdit/README_BUILD
author wenzelm
Sat, 22 Nov 2008 00:51:27 +0100
changeset 34381 a94d2fb96fd5
parent 34377 426d7b9ea225
child 34572 014f67650212
permissions -rw-r--r--
basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
34324
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
     1
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
     2
Requirements to build from sources
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
     3
==================================
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
     4
34377
426d7b9ea225 updates for Netbeans 6.5;
wenzelm
parents: 34338
diff changeset
     5
* Proper Java JRE/JDK from Sun, e.g. 1.6.0_07
34325
a9b94b8f545e requires Java from Sun;
wenzelm
parents: 34324
diff changeset
     6
  http://java.sun.com/javase/downloads/index.jsp
a9b94b8f545e requires Java from Sun;
wenzelm
parents: 34324
diff changeset
     7
34377
426d7b9ea225 updates for Netbeans 6.5;
wenzelm
parents: 34338
diff changeset
     8
* Netbeans 6.5
426d7b9ea225 updates for Netbeans 6.5;
wenzelm
parents: 34338
diff changeset
     9
  http://www.netbeans.org/downloads/index.html
34324
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    10
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    11
* Scala for Netbeans
34377
426d7b9ea225 updates for Netbeans 6.5;
wenzelm
parents: 34338
diff changeset
    12
  http://blogtrader.net/page/dcaoyuan/entry/new_scala_plugin_for_netbeans
34324
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    13
  http://wiki.netbeans.org/Scala
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    14
  http://plugins.netbeans.org/PluginPortal/faces/PluginDetailPage.jsp?pluginid=11854
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    15
34381
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34377
diff changeset
    16
* jEdit 4.3pre16 or similar
34324
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    17
  http://www.jedit.org/
34381
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34377
diff changeset
    18
34324
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    19
  Netbeans Library "jEdit" = .../jedit.jar
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    20
34381
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34377
diff changeset
    21
  or
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34377
diff changeset
    22
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34377
diff changeset
    23
  Netbeans Project "jEdit" (see below)
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34377
diff changeset
    24
34324
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    25
* Flying Saucer XHTML renderer
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    26
  https://xhtmlrenderer.dev.java.net/
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    27
  Netbeans Library "Flying-Saucer" = .../core-renderer.jar
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    28
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    29
* Isabelle/Pure Scala components
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    30
  Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar
8fa2711c0fe4 Requirements to build from sources.
wenzelm
parents:
diff changeset
    31
34325
a9b94b8f545e requires Java from Sun;
wenzelm
parents: 34324
diff changeset
    32
34381
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34377
diff changeset
    33
Auxiliary projects
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34377
diff changeset
    34
==================
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34377
diff changeset
    35
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34377
diff changeset
    36
* project "jEdit"
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34377
diff changeset
    37
  . unpack official sources .../jEdit
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34377
diff changeset
    38
  . add content of ./contrib/jEdit
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34377
diff changeset
    39
a94d2fb96fd5 basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm
parents: 34377
diff changeset
    40
34338
b7fdb6b14e0b hint on -settings=...;
wenzelm
parents: 34327
diff changeset
    41
Running the application within Netbeans
b7fdb6b14e0b hint on -settings=...;
wenzelm
parents: 34327
diff changeset
    42
=======================================
34325
a9b94b8f545e requires Java from Sun;
wenzelm
parents: 34324
diff changeset
    43
a9b94b8f545e requires Java from Sun;
wenzelm
parents: 34324
diff changeset
    44
* Proper Isabelle environment, e.g. via
34327
2c0d71323619 tuned whitespace;
wenzelm
parents: 34326
diff changeset
    45
  isabelle env netbeans ...
34338
b7fdb6b14e0b hint on -settings=...;
wenzelm
parents: 34327
diff changeset
    46
b7fdb6b14e0b hint on -settings=...;
wenzelm
parents: 34327
diff changeset
    47
* Project properties: add "Run" argument like
b7fdb6b14e0b hint on -settings=...;
wenzelm
parents: 34327
diff changeset
    48
    -settings=/home/makarius/isabelle/jedit