[PPL-devel] Errors in PPL

[Jonathan Hansen]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20210214/a9d97e14/attachment.htm>