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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
