This is the mail archive of the
java@gcc.gnu.org
mailing list for the Java project.
Re: GCJ verification error
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