http://llvm.org/bugs/show_bug.cgi?id=6172
Summary: can't build klee on Ubuntu 9.10 on x86
Product: new-bugs
Version: trunk
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: new bugs
AssignedTo: [email protected]
ReportedBy: [email protected]
CC: [email protected]
I'm pretty sure I've followed all instructions at the Klee page. Unless I'm
doing something stupid, this is a problem caused by the latest Ubuntu using g++
4.4 which is stricter about some c++ stuff than previous versions.
reg...@john-home:~/z/klee$ make ENABLE_OPTIMIZED=1
make[1]: Entering directory `/home/regehr/z/klee/stp'
make[2]: Entering directory `/home/regehr/z/klee/stp/AST'
g++ -g -O2 -O2 -Wall -DEXT_HASH_MAP -c -o AST.o AST.cpp
In file included from /usr/include/c++/4.4/ext/hash_set:59,
from AST.h:14,
from AST.cpp:10:
/usr/include/c++/4.4/backward/backward_warning.h:28:2: warning: #warning This
file includes at least one deprecated or antiquated header which may be removed
without further notice at a future date. Please use a non-deprecated interface
with equivalent functionality instead. For a listing of replacement headers and
interfaces, consult the file backward_warning.h. To disable this warning use
-Wno-deprecated.
AST.cpp: In member function âBEEV::ASTNode
BEEV::BeevMgr::CreateBVConst(unsigned int, long long unsigned int)â:
AST.cpp:759: error: âuint32_tâ does not name a type
AST.cpp:761: error: âuint32_tâ was not declared in this scope
AST.cpp:761: error: expected â;â before ânumbitsâ
AST.cpp:762: error: expected â;â before âmaskâ
AST.cpp:763: error: ânumbitsâ was not declared in this scope
AST.cpp:764: error: âmaskâ was not declared in this scope
make[2]: *** [AST.o] Error 1
make[2]: Leaving directory `/home/regehr/z/klee/stp/AST'
make[1]: *** [AST/libast.a] Error 2
make[1]: Leaving directory `/home/regehr/z/klee/stp'
make: *** [all] Error 1
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
