Heyho!
I'm using the most recent svn version of polymake and the ./configure is no longer recognizing my java. More precisely, the build.x86_64/bundled.log complains that
"java seems to belong to a pure Java runtime installation:
JNI headers (most prominently jni.h) were not found."
However, I have a JDK installed (both sun 1.6.0_26-b03 and openjdk 1.6.0_27 - sun is the default java) and both installations do include the jni.h. Both were installed using the package manager, no custom install options should have been chosen.
update-alternatives --list java
/usr/lib/jvm/java-6-openjdk-amd64/jre/bin/java
/usr/lib/jvm/java-6-sun/jre/bin/java
locate jni.h
/usr/lib/jvm/java-6-openjdk-amd64/include/jni.h
/usr/lib/jvm/java-6-sun-1.6.0.26/include/jni.h
Before I start messing around with the --with-java option, is there some obvious defect here? Does polymake require a newer java? Or is this a bug? This used to work out of the box with earlier svn versions. I know Ewgenij sent an email around asking us to do a rebuild due to some changes to the java parts of polymake, so maybe this is related?