
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