[PPL-devel] Errors in PPL

[Roberto Bagnara]

On 2/14/21 9:53 AM, Jonathan Hansen wrote:
> Hello,
> 
> I've got told to send issues with PPL to this mail.
> 
> I've been having some issues installing it. I need it to be able to run PRISM-Games on a MacBook.
> 
> Roberto told me to checkout the devel branch of the github repository. I did that, ran 'autoreconf' to generate the ./configure file and then ran ./configure using the --with-cxxflags command.
> 
> Now, I've tried running 'make install'.
> 
> This results in a long sequence of messages, among others:
> 
> -- 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! --
> 
> 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

Hi.

It seems you have omitted the interesting part of the
output.  You need also to let us have the config.log
file created by configure.
Kind regards,

    Roberto

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