src/Tools/jEdit/README_BUILD
author wenzelm
Fri, 13 Apr 2012 19:42:48 +0200
changeset 47456 88adecfe4246
parent 47185 300fa46fd081
child 47460 70fd47ca62e3
permissions -rw-r--r--
updated to Scala 2.9.2;

Requirements for instantaneous build from sources
=================================================

* Official Java JDK 1.6 from Sun/Oracle/Apple
  http://www.oracle.com/technetwork/java/javase/downloads/index.html

  (or JDK/OpenJDK 1.7, but not OpenJDK 1.6)

* Scala 2.8.2.final or 2.9.2
  http://www.scala-lang.org

  (experimental support for Scala 2.10.x milestones)

* Auxiliary jedit_build component
  http://www4.in.tum.de/~wenzelm/test/jedit_build-20120327.tar.gz


Important settings within Isabelle environment
==============================================

* init_component ".../jedit_build-20120327"
* ISABELLE_JDK_HOME
* SCALA_HOME

Note that the official directory layout of JDK and Scala is required!


Build and run
=============

isabelle jedit -l HOL Test.thy