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 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 ste...@pyro.eu.org -- To UNSUBSCRIBE, email to debian-bsd-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4fb80e54.1060...@pyro.eu.org
