[PPL-devel] Fwd: Fwd: Re: Issue regarding Java Interface

[Stefan Pranger]

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 at student.tugraz.at>
To: 	ppl-devel at 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 at bugseng.com>
Organization: 	BUGSENG srl
To: 	Stefan Pranger <stefan.pranger at student.tugraz.at>
CC: 	support at bugseng.com



Hi there.

I guess you are using the free version, right?

support at bugseng.com  is for commercial support.

Please direct your query toppl-devel at 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
> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20180802/2595aca8/attachment.htm>