Our sysadmin has now fixed it by setting a link to java-oracle, since the configure script did not search in the proper directory.

I am not completely sure on how the interfaces for ppl should be built, but an error message if a compiler for an interface which has been passed via --enable-interfaces couldn't be found might be helpful!

with best regards, Pranger Stefan

-------- Forwarded Message -------- Subject: Fwd: Re: Issue regarding Java Interface Date: Thu, 2 Aug 2018 09:56:26 +0200 From: Stefan Pranger stefan.pranger@student.tugraz.at To: ppl-devel@cs.unipr.it

Hello,

I'm currently trying to install ppl with a java interface, which I need to prism-games. I am following their install instructions.

So far I have tried to install ppl which I have downloaded from here: http://www.bugseng.com/ppl-download

To install ppl I ran:

./configure --enable-interfaces=java make sudo make install

As I have written in my first mail I am expecting a .jar file in a subfolder in /usr/local/lib, which I do not have.

I have attached the output that the three commands produce. Configure tells me that it can't find any java version. Could it be that ./configure does not recognize my java version?

I would really appreciate your help!

with best regards, Pranger Stefan

-------- Forwarded Message -------- Subject: Re: Issue regarding Java Interface Date: Wed, 1 Aug 2018 16:49:25 +0200 From: Roberto Bagnara roberto.bagnara@bugseng.com Organization: BUGSENG srl To: Stefan Pranger stefan.pranger@student.tugraz.at CC: support@bugseng.com

Hi there.

I guess you are using the free version, right?

support@bugseng.com is for commercial support.

Please direct your query toppl-devel@cs.unipr.it . I suggest you include a complete typescript in your message, along with the version of PPL you are trying to build. Kind regards,

Roberto Bagnara