Fwd: Re: Bug report and interface generation questions
-------- Original Message -------- Subject: Re: [PPL-devel] Bug report and interface generation questions Date: Tue, 18 Dec 2012 10:30:33 +0100 From: lei ma <malei.2005@gmail.com> To: Roberto Bagnara <bagnara@cs.unipr.it> Dear Roberto Bagnara Thank you for the quick reply. I have put the log file into the attachment. Thank you very much. Looking forward to your reply. --
On 12/18/12 10:30, lei ma wrote:
I have put the log file into the attachment.
Dear Lei Ma, in your config.log I see configure:11781: checking for ML GMP bytecode module gmp.cma configure:11790: result: no configure:11798: checking for ML GMP native module gmp.cmxa configure:11807: result: no which explains why the OCaml interface is not generated: see README.configure and interfaces/OCaml/README.ocaml in the source distribution. The reason why the Java interface is not generated is that the configure procedure cannot find the jni.h header file: $ fgrep jni.h config.log conftest.cpp:84:17: error: jni.h: No such file or directory | #include <jni.h> conftest.cpp:84:17: error: jni.h: No such file or directory | #include <jni.h> configure:10778: WARNING: unable to include <jni.h> conftest.cpp:84:17: error: jni.h: No such file or directory | #include <jni.h> I guess you should use the --with-java=DIR configure option: see README.configure. Kind regards, Roberto P.S. Please send all PPL-related messages to ppl-devel@cs.unipr.it -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com
participants (1)
-
Roberto Bagnara