GCJ verification error

Mon Apr 2 14:36:00 GMT 2007

Johann Schuster writes:
 > 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.
 > Thank you very much. Will try to get the latest version.
I suspect that all you really need to do is recompile the source with
-target 1.4.
Andrew.
-- 
Red Hat UK Ltd, Amberley Place, 107-111 Peascod Street, Windsor, Berkshire, SL4 1TE, UK
Registered in England and Wales No. 3798903