[Bug 452559] Review Request: zfuzz - Z fuzz - Type-checker and LaTeX style for Z spec language

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug report.

Summary: Review Request: zfuzz - Z fuzz - Type-checker and LaTeX style for Z spec language


https://bugzilla.redhat.com/show_bug.cgi?id=452559





------- Additional Comments From tibbs at math.uh.edu  2008-06-23 15:42 EST -------
Unfortunately this failed to build for me in mock on x86_64, rawhide:

In file included from <stdout>:758:
/usr/include/unistd.h:327: error: conflicting types for 'read'
zscan.l:38: error: previous declaration of 'read' was here
In file included from /usr/include/unistd.h:1100,
                 from <stdout>:758:
/usr/include/bits/unistd.h:35: error: conflicting types for 'read'
zscan.l:38: error: previous declaration of 'read' was here
make[1]:
*** [zscan.o] Error 1
make[1]:
*** Waiting for unfinished jobs....
rm zscan.c
make[1]: Leaving directory `/builddir/build/BUILD/fuzz-2007-09-11/src'
make: *** [src] Error 2

What release did you build against?

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.