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

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

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

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

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

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

Bug#673579: cbmc: FTBFS[kfreebsd,hurd]: GCC-4.7

Package: src:cbmc Version: 4.1-1.1 Severity: serious Tags: sid wheezy User: debian-bsd@lists.debian.org Usertags: kfreebsd User: debian-...@lists.debian.org Usertags: ftbfs-gcc-4.7 X-Debbugs-Cc: debian-bsd@lists.debian.org Justification: fails to build from source (but built successfully in the pas