[PPL-devel] Errors in PPL

[Roberto Bagnara]

On 2/17/21 7:10 PM, Jonathan Hansen wrote:
> Now, I've tried running 'make install'.
> 
> This results in a long sequence of messages, among others:

You did not attach the interesting part of the long sequence
of messages.  The interesting thing is surely in the part
you have replaced with "...".

> please note that I need to end up with a directory with some files, among others ppl_java.jar, for PRISM-Games to work. Thanks a lot in advance!
> 
> I've attached the config.log file.

Did you notice these lines in config.log?

configure:22351: checking for javac
configure:22384: result: no
configure:22493: checking for java
configure:22526: result: no
configure:22864: checking for jar
configure:22897: result: no
configure:22965: checking for javah
configure:22998: result: no
configure:23014: g++ -E  conftest.cpp
conftest.cpp:85:10: fatal error: 'jni.h' file not found

This means you have none of the prerequisites that allow
building the Java interface.  Did you read README.java?

> Making install in .
> make[2]: Nothing to be done for `install-exec-am'.
> make[2]: Nothing to be done for `install-data-am'.
> Making install in utils
> make[2]: Nothing to be done for `install-exec-am'.
> make[2]: Nothing to be done for `install-data-am'.
> Making install in src
> Making install in .
> make[3]: Nothing to be done for `install-exec-am'.
> make[3]: Nothing to be done for `install-data-am'.
> Making install in Concrete_Expression
> make[3]: Nothing to be done for `install-exec-am'.
> make[3]: Nothing to be done for `install-data-am'.
> Making install in CO_Tree
> make[3]: Nothing to be done for `install-exec-am'.
> make[3]: Nothing to be done for `install-data-am'.
> Making install in PIP_Problem
> make[3]: Nothing to be done for `install-exec-am'.
> make[3]: Nothing to be done for `install-data-am'.
> Making install in Powerset
> make[3]: Nothing to be done for `install-exec-am'.
> make[3]: Nothing to be done for `install-data-am'.
> Making install in Partially_Reduced_Product
> make[3]: Nothing to be done for `install-exec-am'.
> make[3]: Nothing to be done for `install-data-am'.
> Making install in Box
> make[3]: Nothing to be done for `install-exec-am'.
> make[3]: Nothing to be done for `install-data-am'.
> Making install in MIP_Problem
> make[3]: Nothing to be done for `install-exec-am'.
> make[3]: Nothing to be done for `install-data-am'.
> Making install in Octagonal_Shape
> make[3]: Nothing to be done for `install-exec-am'.
> make[3]: Nothing to be done for `install-data-am'.
> Making install in BD_Shape
> 
> ...
> 
> make[2]: *** [install-html] Error 71
> make[1]: *** [install-am] Error 2
> make: *** [install-recursive] Error 1
> 
> _______________________________________________
> PPL-devel mailing list
> PPL-devel at cs.unipr.it
> https://www.cs.unipr.it/mailman/listinfo/ppl-devel
> 


-- 
      Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                               BUGSENG srl - http://bugseng.com
                               mailto:roberto.bagnara at bugseng.com