[LLVMbugs] [Bug 6172] New: can't build klee on Ubuntu 9.10 on x86

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Fri Jan 29 10:04:06 PST 2010


           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: unassignedbugs at nondot.org
        ReportedBy: regehr at cs.utah.edu
                CC: llvmbugs at cs.uiuc.edu

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.

regehr at 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
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.

More information about the llvm-bugs mailing list