<div dir="ltr">Hello,<div><br><div>I've got told to send issues with PPL to this mail.</div></div><div><br></div><div>I've been having some issues installing it. I need it to be able to run PRISM-Games on a MacBook.</div><div><br></div><div>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.</div><div><br></div><div>Now, I've tried running 'make install'.</div><div><br></div><div>This results in a long sequence of messages, among others:</div><div><br></div><div>-- 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! --</div><div><br></div>Making install in .<br>make[2]: Nothing to be done for `install-exec-am'.<br>make[2]: Nothing to be done for `install-data-am'.<br>Making install in utils<br>make[2]: Nothing to be done for `install-exec-am'.<br>make[2]: Nothing to be done for `install-data-am'.<br><div>Making install in src</div>Making install in .<br>make[3]: Nothing to be done for `install-exec-am'.<br>make[3]: Nothing to be done for `install-data-am'.<br>Making install in Concrete_Expression<br>make[3]: Nothing to be done for `install-exec-am'.<br>make[3]: Nothing to be done for `install-data-am'.<br>Making install in CO_Tree<br>make[3]: Nothing to be done for `install-exec-am'.<br>make[3]: Nothing to be done for `install-data-am'.<br>Making install in PIP_Problem<br>make[3]: Nothing to be done for `install-exec-am'.<br>make[3]: Nothing to be done for `install-data-am'.<br>Making install in Powerset<br>make[3]: Nothing to be done for `install-exec-am'.<br>make[3]: Nothing to be done for `install-data-am'.<br>Making install in Partially_Reduced_Product<br>make[3]: Nothing to be done for `install-exec-am'.<br>make[3]: Nothing to be done for `install-data-am'.<br>Making install in Box<br>make[3]: Nothing to be done for `install-exec-am'.<br>make[3]: Nothing to be done for `install-data-am'.<br>Making install in MIP_Problem<br>make[3]: Nothing to be done for `install-exec-am'.<br>make[3]: Nothing to be done for `install-data-am'.<br>Making install in Octagonal_Shape<br>make[3]: Nothing to be done for `install-exec-am'.<br>make[3]: Nothing to be done for `install-data-am'.<br><div>Making install in BD_Shape</div><div><br></div><div>...</div><div><br></div>make[2]: *** [install-html] Error 71<br>make[1]: *** [install-am] Error 2<br><div>make: *** [install-recursive] Error 1</div><div><br></div><div><br></div><div></div></div>