Re: cbmc: FTBFS[kfreebsd,hurd]: GCC-4.7
tags 673579 + patch
thanks
On 19/05/12 23:02, Christoph Egger wrote:
> Steven Chamberlain <steven@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
steven@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
Reply to: