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-gcc@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
past)
Hi,
Related to #667131, there is some remaining code that FTBFS
on kfreebsd-* and hurd-i386 with gcc-4.7:
> g++ -c -MMD -DSTL_HASH_TR1 -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -I .. -I ../util -o c_preprocess.o c_preprocess.cpp
> c_preprocess.cpp: In function 'bool c_preprocess(std::istream&, std::ostream&, message_handlert&)':
> c_preprocess.cpp:189:22: error: 'unlink' was not declared in this scope
> c_preprocess.cpp: In function 'bool c_preprocess_visual_studio(const string&, std::ostream&, message_handlert&)':
> c_preprocess.cpp:342:24: error: 'unlink' was not declared in this scope
> c_preprocess.cpp:355:22: error: 'unlink' was not declared in this scope
> c_preprocess.cpp: In function 'bool c_preprocess_codewarrior(const string&, std::ostream&, message_handlert&)':
> c_preprocess.cpp:497:24: error: 'unlink' was not declared in this scope
> c_preprocess.cpp:501:24: error: 'unlink' was not declared in this scope
> c_preprocess.cpp:515:29: error: 'unlink' was not declared in this scope
> c_preprocess.cpp: In function 'bool c_preprocess_gcc(const string&, std::ostream&, message_handlert&)':
> c_preprocess.cpp:784:31: error: 'unlink' was not declared in this scope
> c_preprocess.cpp:798:29: error: 'unlink' was not declared in this scope
> c_preprocess.cpp: In function 'bool c_preprocess_arm(const string&, std::ostream&, message_handlert&)':
> c_preprocess.cpp:934:31: error: 'unlink' was not declared in this scope
> c_preprocess.cpp:948:29: error: 'unlink' was not declared in this scope
> make[3]: *** [c_preprocess.o] Error 1
> make[3]: Leaving directory `/build/buildd-cbmc_4.1-1.1-kfreebsd-i386-gdeKmI/cbmc-4.1/src/ansi-c'
> make[2]: *** [ansi-c.dir] Error 2
Thanks,
Regards,
--
Steven Chamberlain
steven@pyro.eu.org
Reply to: