Fwd: Re: Issue regarding Java Interface
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
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 -- 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
participants (1)
-
Stefan Pranger