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:
> > > > I want to compile a java program with gcj 4.1.2,
> > > > that compiled fine under gcj 4.0.2, but with
> > > > with 4.1.2 i get the error message:
> > > ...
> > > > Does anyone know a simple solution for that? Will an
> > > > update to a newer gcj/gcc version will be the cure?
> > >
> > > Give us a test case. We can't do anything without one.
> >
> 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.
--
Red Hat UK Ltd, Amberley Place, 107-111 Peascod Street, Windsor, Berkshire, SL4 1TE, UK
Registered in England and Wales No. 3798903