wneuper at ist.tugraz.at
Mon Aug 2 15:31:22 CEST 2010
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:
following error occurred while executing this line:
find ./build.xml imported from
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...
Size: 166089 bytes
Desc: not available
More information about the isabelle-dev