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!

I've attached the config.log file.

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