RE: [Gcl-devel] Re: address@hidden: Re: address@hidden: differences between2.9 and 2.9.2]]

[Mike Thomas]

Hi Camm/Rex.

| > > > >   ---------- error report from cert attempt ----------------
| > > > >
| > > > > cc1.exe: unrecognized option `-fno-zero-initialized-in-bss'
| > > > >
| > > > > Error: (SYSTEM "gcc -c -Wall -DVOL=volatile -fsigned-char -pipe
| > > > > - -fno-zero-initialized-in-bss -mms-bitfields -march=i386
| > > > > - -IC:/PROGRA~1/ACL2-2.9.2/lib/gcl-2.6.6/
| > > > > unixport/../h  -O3  -c -w \"gazonk4.c\" -o
| \"gazonk4.o\"") returned a
| > > > > non-zero value 1.
| > > > > Fast links are on: do (si::use-fast-links nil) for debugging
| > > > > Error signalled by UNLESS.
| > > > > Broken at COND.  Type :H for Help.
| > > > > ACL2>>
| > > > > ------- End of forwarded message -------

This error message arises from a MinGW32 gcc with version < 3.3.1 which does
not accept the "-fno-zero-initialized-in-bss" flag which is, in turn,
essential with later versions of gcc for GCL to function correctly.

You need to check your path to ensure that an older version of gcc is not
getting into the path ahead of the gcc supplied with GCL.

Cheers

Mike Thomas.