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:
> > ...
> > > Here you are. The application is called prism, a probabilistic
> > > symbolic model checker. I've added the whole package, sorry for
> > > the filesize.
> >
> > I spent 15 minutes trying to get it to build then I gave up.
> >
> > I need to try actual command that produces the error, and the actual
> > files involved. I'm guessing that a simple "gcj -c <some class file"
> > or "gcj -c <some jar file>" would do it, and that all the rest is
> > unnecessary.
> >
> > Andrew.
> >
> >
> Sorry for that. This time i've only added the libs and the jar-file.
> unzip and untar everything to a directory and in that directory
> execute
>
> 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
>
> everything in one line. Unfortunately on my older machine i can't
> reproduce the "verification failed" message, as gcj complains
> about java 1.4.2/1.5.0 incompatibility issues (java.lang.StringBuilder
> not found)
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.
--
Red Hat UK Ltd, Amberley Place, 107-111 Peascod Street, Windsor, Berkshire, SL4 1TE, UK
Registered in England and Wales No. 3798903