tags 673579 + patch thanks On 19/05/12 23:02, Christoph Egger wrote: > Steven Chamberlain <ste...@pyro.eu.org> writes: >> #if defined(__linux__) || defined(__GNU__) || defined(__GLIBC__) > > __GLIBC__ should cover all of them alone. Or alternatively consistently > checking for kernels [...]
Oh I see, thanks. I think it is the userland we are interested in here so __GLIBC__ sounds right. Please find a patch attached (to apply after KiBi's) which I have tested on kfreebsd-i386. I've no idea if __GLIBC__ exists on __APPLE__ or other non-Debian platforms but I guess we don't need to worry about them, so I've left that alone. Regards, -- Steven Chamberlain ste...@pyro.eu.org
Index: cbmc-4.1/src/ansi-c/c_preprocess.cpp =================================================================== --- cbmc-4.1.orig/src/ansi-c/c_preprocess.cpp 2012-05-19 22:39:07.000000000 +0100 +++ cbmc-4.1/src/ansi-c/c_preprocess.cpp 2012-05-19 23:13:15.323640626 +0100 @@ -10,7 +10,7 @@ #include <stdlib.h> #include <string.h> -#ifdef __linux__ +#ifdef __GLIBC__ #include <unistd.h> #endif
