[isabelle-dev] compiling jedit for Isabelle development

[Viorel Preoteasa]

Hello,

I am trying to use jedit with the Isabelle development version

I have scala-2.9.1-1 and I downloaded jedit_build-20120313.

I set the paths

export 
SCALA_HOME=/Users/viorel/Work/isabelle-dev/isabelle/contrib/scala-2.9.1-1
export 
ISABELLE_JEDIT_BUILD_HOME=/Users/viorel/Work/isabelle-dev/isabelle/contrib/jedit_build-20120313

in bin/isabelle

When I start isabelle with jedit, I get the errors:

### Building Isabelle/jEdit ...
cp: dist/properties/.: No such file or directory
cp: dist/modes/.: No such file or directory
cp: src/modes/.: unable to copy extended attributes to dist/modes/.: No 
such file or directory
cp: dist/modes/./isabelle-session.xml: No such file or directory
cp: dist/modes/./isabelle.xml: No such file or directory
cp: dist/modes/./scala.xml: No such file or directory
cp: utimes: dist/modes/.: No such file or directory
cp: chown: dist/modes/.: No such file or directory
cp: chmod: dist/modes/.: No such file or directory
cp: chflags: dist/modes/.: No such file or directory
cp: src/modes/.: unable to copy ACL to dist/modes/.: No such file or 
directory
Can't open dist/modes/catalog: No such file or directory at -e line 1.
usage: cp [-R [-H | -L | -P]] [-fi | -n] [-apvX] source_file target_file
        cp [-R [-H | -L | -P]] [-fi | -n] [-apvX] source_file ... 
target_directory

I notices that there is also the directory 
/Users/viorel/Work/isabelle-dev/isabelle/src/Tools/jEdit/

which contains what jedit_build-20120313 contains plus additional things.
However setting

export 
ISABELLE_JEDIT_BUILD_HOME=/Users/viorel/Work/isabelle-dev/isabelle/src/Tools/jEdit

it fails with

### Building Isabelle/jEdit ...
cp: /Users/viorel/Work/isabelle-dev/isabelle/src/Tools/jEdit/contrib//.: 
No such file or directory
cp: dist/properties/.: No such file or directory
cp: dist/modes/.: No such file or directory
cp: src/modes/.: unable to copy extended attributes to dist/modes/.: No 
such file or directory
cp: dist/modes/./isabelle-session.xml: No such file or directory
cp: dist/modes/./isabelle.xml: No such file or directory
cp: dist/modes/./scala.xml: No such file or directory
cp: utimes: dist/modes/.: No such file or directory
cp: chown: dist/modes/.: No such file or directory
cp: chmod: dist/modes/.: No such file or directory
cp: chflags: dist/modes/.: No such file or directory
cp: src/modes/.: unable to copy ACL to dist/modes/.: No such file or 
directory
Can't open dist/modes/catalog: No such file or directory at -e line 1.
usage: cp [-R [-H | -L | -P]] [-fi | -n] [-apvX] source_file target_file
        cp [-R [-H | -L | -P]] [-fi | -n] [-apvX] source_file ... 
target_directory
Failed!

The file src/Tools/jEdit/README_BUILD says  to set ISABELLE_JEDIT_BUILD_HOME
via "init_component .../jedit_build...", but I don't know how to do it.

Best regards,

Viorel