Hi Vladimir, Just ignore for now the patch for LLVM 2.7: svn co -r 98465 http://llvm.org/svn/llvm-project/klee/trunk klee
Cristian On 23/03/10 04:48, Vladimir G. Ivanovic wrote: > 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 > >