[isabelle-dev] jEdit/nbproject

Makarius makarius at sketis.net
Thu Aug 5 18:46:47 CEST 2010

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 

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 

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.


More information about the isabelle-dev mailing list