<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>Our sysadmin has now fixed it by setting a link to java-oracle,
since the configure script did not search in the proper directory.
<br>
<br>
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!<br>
<br>
with best regards, <br>
Pranger Stefan<br>
</p>
<div class="moz-forward-container"><br>
<br>
-------- Forwarded Message --------
<table class="moz-email-headers-table" cellspacing="0"
cellpadding="0" border="0">
<tbody>
<tr>
<th valign="BASELINE" align="RIGHT" nowrap="nowrap">Subject:
</th>
<td>Fwd: Re: Issue regarding Java Interface</td>
</tr>
<tr>
<th valign="BASELINE" align="RIGHT" nowrap="nowrap">Date: </th>
<td>Thu, 2 Aug 2018 09:56:26 +0200</td>
</tr>
<tr>
<th valign="BASELINE" align="RIGHT" nowrap="nowrap">From: </th>
<td>Stefan Pranger <a class="moz-txt-link-rfc2396E" href="mailto:stefan.pranger@student.tugraz.at"><stefan.pranger@student.tugraz.at></a></td>
</tr>
<tr>
<th valign="BASELINE" align="RIGHT" nowrap="nowrap">To: </th>
<td><a class="moz-txt-link-abbreviated" href="mailto:ppl-devel@cs.unipr.it">ppl-devel@cs.unipr.it</a></td>
</tr>
</tbody>
</table>
<br>
<br>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
<p>Hello,</p>
<p>I'm currently trying to install ppl with a java interface,
which I need to prism-games. I am following their install
instructions. <br>
</p>
<p>So far I have tried to install ppl which I have downloaded from
here: <a class="moz-txt-link-freetext"
href="http://www.bugseng.com/ppl-download"
moz-do-not-send="true">http://www.bugseng.com/ppl-download</a><br>
<br>
To install ppl I ran:</p>
<p>./configure --enable-interfaces=java<br>
make<br>
sudo make install<br>
<br>
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.<br>
<br>
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?<br>
<br>
I would really appreciate your help!<br>
<br>
with best regards,<br>
Pranger Stefan<br>
</p>
<div class="moz-forward-container"><br>
<br>
-------- Forwarded Message --------
<table class="moz-email-headers-table" cellspacing="0"
cellpadding="0" border="0">
<tbody>
<tr>
<th valign="BASELINE" align="RIGHT" nowrap="nowrap">Subject:
</th>
<td>Re: Issue regarding Java Interface</td>
</tr>
<tr>
<th valign="BASELINE" align="RIGHT" nowrap="nowrap">Date:
</th>
<td>Wed, 1 Aug 2018 16:49:25 +0200</td>
</tr>
<tr>
<th valign="BASELINE" align="RIGHT" nowrap="nowrap">From:
</th>
<td>Roberto Bagnara <a class="moz-txt-link-rfc2396E"
href="mailto:roberto.bagnara@bugseng.com"
moz-do-not-send="true"><roberto.bagnara@bugseng.com></a></td>
</tr>
<tr>
<th valign="BASELINE" align="RIGHT" nowrap="nowrap">Organization:
</th>
<td>BUGSENG srl</td>
</tr>
<tr>
<th valign="BASELINE" align="RIGHT" nowrap="nowrap">To: </th>
<td>Stefan Pranger <a class="moz-txt-link-rfc2396E"
href="mailto:stefan.pranger@student.tugraz.at"
moz-do-not-send="true"><stefan.pranger@student.tugraz.at></a></td>
</tr>
<tr>
<th valign="BASELINE" align="RIGHT" nowrap="nowrap">CC: </th>
<td><a class="moz-txt-link-abbreviated"
href="mailto:support@bugseng.com"
moz-do-not-send="true">support@bugseng.com</a></td>
</tr>
</tbody>
</table>
<br>
<br>
<pre>Hi there.
I guess you are using the free version, right?
<a class="moz-txt-link-abbreviated" href="mailto:support@bugseng.com" moz-do-not-send="true">support@bugseng.com</a> is for commercial support.
Please direct your query to <a class="moz-txt-link-abbreviated" href="mailto:ppl-devel@cs.unipr.it" moz-do-not-send="true">ppl-devel@cs.unipr.it</a> .
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 (<a class="moz-txt-link-freetext" href="http://bugseng.com" moz-do-not-send="true">http://bugseng.com</a>)
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 <a class="moz-txt-link-freetext" href="http://www.bugseng.com/ppl-download" moz-do-not-send="true">http://www.bugseng.com/ppl-download</a> 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 (<a class="moz-txt-link-freetext" href="https://www.prismmodelchecker.org/games/installation.php" moz-do-not-send="true">https://www.prismmodelchecker.org/games/installation.php</a>) and I followed their installation guide.
>
> I appreciate any further help.
>
>
> with the best regards
> Stefan Pranger
>
</pre>
</div>
</div>
</body>
</html>