GCJ verification error

Mon Apr 2 14:14:00 GMT 2007

Andrew Haley wrote:
> Johann Schuster writes:
> ...
> > gcj -ggdb -LD_PROFILE=libprismmtbdd.so -LD_PROFILE_OUTPUT=~/test.out \
> > --main=prism.PrismCL -fjni prism.jar -Ldd -Lodd -Lprism -Ldv \
> > -Lprismhybrid -Lprismsparse -Ljdd -Lprismmtbdd -Lsimengine
> ...
> Here:
>> Method name:"getPrismParser" public static Signature: ()parser.PrismParser
> Attribute "Code", length:159, max_stack:2, max_locals:3, code_length:75
>> ...
>> 14: ldc_w <Class prism.Prism>
>> This needs Java 1.5. The gcj version you have is not compatible. gcj 4.3 will be.
>> Andrew.
>>Thank you very much. Will try to get the latest version.
Johann