[PPL-devel] PPL installation problems
bagnara at cs.unipr.it
Tue Nov 8 05:49:59 CET 2011
On 06/14/11 15:13, Enea Zaffanella wrote:
> Il 13/06/2011 21:56, Adrien Champion ha scritto:
>> A few months ago, I managed to install and use PPL on my main computer,
>> but now that I am trying to install it on my notebook I encounter problems.
>> I should probably start by saying that the part I am interested in is
>> the Java interface.
>> The configure, make and make install work but when I try to run make for
>> the java interface I get the following error:
>> /bin/bash: no: command not found
>> make: *** [java_classes.stamp] Error 127
>> When looking closer however, the configure does not really work since it
>> does not find all the java related commands:
>> checking for javac... no
>> checking for java... no
>> checking for jar... no
>> checking for javah... no
>> configure: WARNING: unable to include<jni.h>
>> Do you happen to have any solution for this problem ?
>> Thank you in advance.
> At configuration time, you should use option
> where DIR is the Java SDK installation directory
> The configure script will automatically try some default directory
> depending on the system, but it gives up if they are not found.
did you succeed in building the Java interface?
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it
More information about the PPL-devel