[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: cbmc: FTBFS[kfreebsd,hurd]: GCC-4.7

tags 673579 + patch

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.

Steven Chamberlain
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>

Reply to: