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 to ppl-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

-- 
Roberto Bagnara, Ph.D.

CEO/CTO, BUGSENG (http://bugseng.com)
Member, ISO/IEC JTC1/SC22/WG14 - C Standardization Working Group
Member, MISRA C Working Group
Mobile: +39 339 8593517

On 08/01/2018 03:38 PM, Stefan Pranger wrote:
> Hello,
> 
> I'm currently trying to install ppl with a java interface on my ubuntu 16.04 machine.
> 
> I've downloaded the zip-version of ppl from http://www.bugseng.com/ppl-download and installed it via:
> ./configure --enable-interfaces=java
> make
> sudo make install
> 
> since I passed the enable java interface flag I'm expecting libppl.so in /usr/local/lib as well as a subfolder containing ppl_java.jar and libppl_java.so. The last two are missing.
> 
> When running ./configure the checks for java all return no, which does concern me, since I have java installed:
> 
> java version "1.8.0_181"
> Java(TM) SE Runtime Environment (build 1.8.0_181-b13)
> Java HotSpot(TM) 64-Bit Server VM (build 25.181-b13, mixed mode)
> 
> I'm going to need ppl for prism-games (https://www.prismmodelchecker.org/games/installation.php) and I followed their installation guide.
> 
> I appreciate any further help.
> 
> 
> with the best regards
> Stefan Pranger
>