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
participants (1)
-
Roberto Bagnara