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. _______________________________________________ Gcl-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/gcl-devel
