on 03/13/2010 09:36 PM Daniel Dunbar said the following:
> I just checked in a patch for building KLEE with LLVM 2.7. I have
> tested it on Linux x86_32 with LLVM 2.6 and 2.7 and on Darwin x86_32
> and x86_64. I'd appreciate it if someone can test it on Linux x86_64.
>
> Please let me know of any problems.
>
I cannot build on Fedora 12 x86_64.
$ svn co http://llvm.org/svn/llvm-project/klee/trunk klee
$ cd klee
$ CXXFLAGS="-Wno-deprecated" ./configure --with-llvm=/usr/local/src/llvm
$ make
==>
make[2]: Entering directory `/usr/local/src/klee/runtime/klee-libc'
llvm[2]: Compiling __cxa_atexit.c for Release build (bytecode)
llvm[2]: Compiling __cxa_atexit.ll to __cxa_atexit.bc for Release build
(bytecode)
llvm[2]: Compiling abort.c for Release build (bytecode)
...
llvm[2]: Compiling toupper.ll to toupper.bc for Release build (bytecode)
llvm[2]: Building Release Bytecode Archive libklee-libc.bca
llvm[2]: Compiling __cxa_atexit.c for Release build
llvm[2]: Compiling abort.c for Release build
llvm[2]: Compiling atexit.c for Release build
llvm[2]: Compiling atoi.c for Release build
atoi.c:35:5: error: redefinition of 'atoi'
int atoi(const char *str) {
^
In file included from atoi.c:33:
/usr/include/stdlib.h:284:1: note: previous definition is here
__NTH (atoi (__const char *__nptr))
^
/usr/include/stdlib.h:284:8: note: instantiated from:
__NTH (atoi (__const char *__nptr))
^
2 diagnostics generated.
make[2]: *** [/usr/local/src/klee/runtime/klee-libc/Release/atoi.o] Error 1
make[2]: Leaving directory `/usr/local/src/klee/runtime/klee-libc'
make[1]: *** [klee-libc/.makeall] Error 2
make[1]: Leaving directory `/usr/local/src/klee/runtime'
make: *** [all] Error 1
The "-Wno-deprecated" flag is necessary to get rid of the warning:
In file included from
/usr/lib/gcc/x86_64-redhat-linux/4.4.3/../../../../include/c++/4.4.3/ext/hash_set:59,
from AST.h:14,
from AST.cpp:10:
/usr/lib/gcc/x86_64-redhat-linux/4.4.3/../../../../include/c++/4.4.3/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.
that occurs for many source file compilations.
I am using
$ g++ -v
Using built-in specs.
Target: x86_64-redhat-linux
Configured with: ../configure --prefix=/usr --mandir=/usr/share/man
--infodir=/usr/share/info --with-bugurl=http://bugzilla.redhat.com/bugzilla
--enable-bootstrap --enable-shared --enable-threads=posix
--enable-checking=release --with-system-zlib --enable-__cxa_atexit
--disable-libunwind-exceptions --enable-gnu-unique-object
--enable-languages=c,c++,objc,obj-c++,java,fortran,ada --enable-java-awt=gtk
--disable-dssi --enable-plugin
--with-java-home=/usr/lib/jvm/java-1.5.0-gcj-1.5.0.0/jre
--enable-libgcj-multifile --enable-java-maintainer-mode
--with-ecj-jar=/usr/share/java/eclipse-ecj.jar --disable-libjava-multilib
--with-ppl --with-cloog --with-tune=generic --with-arch_32=i686
--build=x86_64-redhat-linux
Thread model: posix
gcc version 4.4.3 20100127 (Red Hat 4.4.3-4) (GCC)
I used to be able to build the llvm-2.6 version of klee with the released
llvm-2.6. However, since I don't know the correct Subversion incantation to get
the 2.6 version of klee back, I'm stuck.
--- Vladimir
Vladimir G. Ivanovic http://www.leonora.org
+1 650 450 4101 vladimir at acm.org
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 261 bytes
Desc: OpenPGP digital signature
Url :
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100322/2dcdff0b/attachment.bin
