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