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:
On 2/17/21 7:10 PM, Jonathan Hansen wrote:
Now, I've tried running 'make install'.
This results in a long sequence of messages, among others:
You did not attach the interesting part of the long sequence of messages. The interesting thing is surely in the part you have replaced with "...".
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.
Did you notice these lines in config.log?
configure:22351: checking for javac configure:22384: result: no configure:22493: checking for java configure:22526: result: no configure:22864: checking for jar configure:22897: result: no configure:22965: checking for javah configure:22998: result: no configure:23014: g++ -E conftest.cpp conftest.cpp:85:10: fatal error: 'jni.h' file not found
This means you have none of the prerequisites that allow building the Java interface. Did you read README.java?
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
PPL-devel mailing list PPL-devel@cs.unipr.it https://www.cs.unipr.it/mailman/listinfo/ppl-devel
participants (2)
-
Jonathan Hansen -
Roberto Bagnara