[PPL-devel] Fwd: Re: Bug report and interface generation questions

[Roberto Bagnara]

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 at cs.unipr.it

-- 
      Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                               BUGSENG srl - http://bugseng.com
                               mailto:roberto.bagnara at bugseng.com