GCJ verification error

Mon Apr 2 13:52:00 GMT 2007

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