GCJ verification error

Mon Apr 2 13:42:00 GMT 2007

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)
Maybe you get on with this bunch of files.
Johann
-------------- next part --------------
A non-text attachment was scrubbed...
Name: lib_and_jar.tar.gz
Type: application/x-gzip
Size: 2213497 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/java/attachments/20070402/0bed147d/attachment.bin>