[isabelle-dev] jEdit/nbproject

Walther Neuper wneuper at ist.tugraz.at
Mon Aug 2 15:31:22 CEST 2010


Hi,

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)

Confusingly, build-nb.xml:3 is
	build-nb.xml:3: <import file="./build.xml"/>
i.e. referencing the build.xml which should trigger the whole build.

Before fiddling around in the *.properties and *.xml files we would like 
to hear, if somebody out there already tried to setup this project.

Thanks in advance for any hints !

Walther and Marco

-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screenshot-nb.png
Type: image/png
Size: 166089 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20100802/64509b1b/attachment-0001.png>


More information about the isabelle-dev mailing list