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

2012-05-21 Thread Robert Millan
2012/5/20 Christoph Egger : > __GLIBC__ should cover all of them alone. Or alternatively consistently > checking for kernels: > > #if defined(__linux__) || defined(__GNU__) || defined(__FreeBSD_kernel__) Please keep in mind __FreeBSD_kernel__ doesn't imply anything about userland. In fact this ma

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

2012-05-19 Thread Salvatore Bonaccorso
tags 673579 + pending thanks Hi (I added Michael Taautschnig directly to the loop) On Sat, May 19, 2012 at 11:25:41PM +0100, Steven Chamberlain wrote: > tags 673579 + patch > thanks > > On 19/05/12 23:02, Christoph Egger wrote: > > Steven Chamberlain writes: > >> #if defined(__linux__) || defi

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

2012-05-19 Thread Steven Chamberlain
tags 673579 + patch thanks On 19/05/12 23:02, Christoph Egger wrote: > Steven Chamberlain 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 thi

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

2012-05-19 Thread Christoph Egger
Hi! Steven Chamberlain writes: > #if defined(__linux__) || defined(__GNU__) || defined(__GLIBC__) __GLIBC__ should cover all of them alone. Or alternatively consistently checking for kernels: #if defined(__linux__) || defined(__GNU__) || defined(__FreeBSD_kernel__) Regards Christoph --

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

2012-05-19 Thread Steven Chamberlain
Hi Salvatore, In src/ansi-c/c_preprocess.cpp, the #include changed by KiBi's patch is still wrapped in #ifdef __linux__. I would think: #if defined(__linux__) || defined(__GNU__) || defined(__GLIBC__) is the best way to cover Linux/kFreeBSD/Hurd. Regards, -- Steven Chamberlain ste...@pyro.eu