# HG changeset patch
# User wenzelm
# Date 1289234687 -3600
# Node ID 19faffbe50660b3e2e77bedb33e65e8d520e6124
# Parent  0813106a699d231c18fac59a1e5a309addca9842
more hints on building and running Isabelle/jEdit from command line;

diff -r 0813106a699d -r 19faffbe5066 src/Tools/jEdit/README_BUILD
--- a/src/Tools/jEdit/README_BUILD	Mon Nov 08 14:41:11 2010 +0100
+++ b/src/Tools/jEdit/README_BUILD	Mon Nov 08 17:44:47 2010 +0100
@@ -36,8 +36,26 @@
   Netbeans Library "Scala-compiler" = $SCALA_HOME/lib/scala-compiler.jar
 
 
-Running the application within Netbeans
-=======================================
+Building and running from command line (recommended)
+====================================================
+
+* Manual build:
+
+  ( cd "$HOME/isabelle/repos/src/Pure" && isabelle env ./build-jars )
+  ant jar
+  makedist -j "$HOME/lib/jedit-4.3.2"  #location of original jedit distribution
+
+* Component setup, e.g. in $ISABELLE_HOME_USER/.isabelle/etc/settings:
+
+  [ -d "$HOME/isabelle/jedit" ] && init_component "$HOME/isabelle/jedit"  #build location
+
+* Run:
+
+  isabelle jedit -l HOL Test.thy &
+
+
+Running the application within Netbeans (not recommended)
+=========================================================
 
 * Project properties: add "Run" argument like
     -noserver -nobackground -settings=/home/makarius/isabelle/isabelle-jedit/dist