src/Tools/jEdit/README_BUILD
author immler@in.tum.de
Sun, 11 Jan 2009 13:16:35 +0100
changeset 34465 ccadbf63e320
parent 34381 a94d2fb96fd5
child 34572 014f67650212
permissions -rw-r--r--
added EventBus for new command- or keyword-declarations


Requirements to build from sources
==================================

* Proper Java JRE/JDK from Sun, e.g. 1.6.0_07
  http://java.sun.com/javase/downloads/index.jsp

* Netbeans 6.5
  http://www.netbeans.org/downloads/index.html

* Scala for Netbeans
  http://blogtrader.net/page/dcaoyuan/entry/new_scala_plugin_for_netbeans
  http://wiki.netbeans.org/Scala
  http://plugins.netbeans.org/PluginPortal/faces/PluginDetailPage.jsp?pluginid=11854

* jEdit 4.3pre16 or similar
  http://www.jedit.org/

  Netbeans Library "jEdit" = .../jedit.jar

  or

  Netbeans Project "jEdit" (see below)

* Flying Saucer XHTML renderer
  https://xhtmlrenderer.dev.java.net/
  Netbeans Library "Flying-Saucer" = .../core-renderer.jar

* Isabelle/Pure Scala components
  Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar


Auxiliary projects
==================

* project "jEdit"
  . unpack official sources .../jEdit
  . add content of ./contrib/jEdit


Running the application within Netbeans
=======================================

* Proper Isabelle environment, e.g. via
  isabelle env netbeans ...

* Project properties: add "Run" argument like
    -settings=/home/makarius/isabelle/jedit