On 06/06/2011 10:22 AM, Rémi Delmas wrote:

this email to let you know we're missing the ppl-java interface under ubuntu 11.04 (and previous releases as well)!

Hi Rémi, I configured PPL 0.11.2 with the command ./configure --libdir=/usr/local/lib64 --with-java=/usr/lib/jvm/java-6-openjdk --enable-interfaces=java on an x86_64 Ubuntu 11.04 system. The Java interface built correctly and passed make check. So I guess you mean that Ubuntu 11.04 (and previous Ubuntu releases) do not provide a package for the Java interface, right? This is something you should report to the Ubuntu/Debian maintainers. If you decide to contact them, please feel free to CC us and to tell them that, in case they agree to package the Java interface, we will provide assistance. All the best, Roberto -- Prof. Roberto Bagnara CEO & CTO Applied Formal Methods Laboratory BUGSENG srl Department of Mathematics Parco Area delle Scienze 53/A University of Parma, Italy I-43124 Parma, Italy http://www.cs.unipr.it/~bagnara/ http://bugseng.com/ mailto:bagnara@cs.unipr.it mailto:roberto.bagnara@bugseng.com