On Mon, 2 Aug 2010, Walther Neuper wrote:
Trying to build the project from the Isabelle2009-2 distribution (cloned
from the hg repository) in the NetBeans IDE we got stuck:
(1) a screenshot of the NetBeans project is attached
(2) builds fail with the message:
/usr/local/isabisac/src/Tools/jEdit/nbproject/build-impl.xml:389: The
following error occurred while executing this line:
/usr/local/isabisac/src/Tools/jEdit/contrib/jEdit/build-nb.xml:3: Cannot find
./build.xml imported from
/usr/local/isabisac/src/Tools/jEdit/contrib/jEdit/build-nb.xml
BUILD FAILED (total time: 0 seconds)
From the screenshot it looks like you don't have the jEdit sources in
Isabelle2009-2/src/Tools/jEdit/contrib/jEdit -- the repository only
includes the *additional* files required here. Alternatively you can
resolve the jEdit requirement by turning jEdit.jar into a "library" for
Netbeans, instead of a sub-project.
I have convinced myself that the checklist in
Isabelle2009-2/src/Tools/jEdit/README_BUILD still works for Netbeans 6.8
or 6.9 with Scala 2.8.0.RC5 or Scala 2.8.0.final, although it is a bit
tedious.
The whole setup was intended as an experiment to see how Netbeans manages
projects. We even meant to use the Netbeans source-level debugger and
profiler at some point. In the end it did not really work out: I usually
run ant manually -- using the build files generated by Netbeans -- and do
interactive experimentation directly with the Scala console in
Isabelle/jEdit.
At some point I will try to replace the project setup by a simple shell
script, similar to the one of the "isabelle scala" tool, which builds on
demand on the spot.
Makarius
_______________________________________________
Isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
