Daniel, You're correct! LLVMGCC wasn't being set properly. I configured LLVM with
./configure --enable-optimized --with-llvmgcc=/Developer/usr/bin/llvm-gcc --with-llvmgxx=/Developer/usr/bin/llvm-g++ and klee builds. I'm getting an error in make check, though: FAIL: /Users/kmowery/src/builds/klee/test/Feature/KleeReportError.c Failed with signal(SIGBUS) at line 2 while running: klee --emit-all-errors KleeReportError.c.tmp2.bc > KleeReportError.c.tmp3.log KLEE: output directory = "klee-out-88" WARNING: Linking two modules of different data layouts! WARNING: Linking two modules of different target triples! WARNING: Linking two modules of different data layouts! WARNING: Linking two modules of different target triples! WARNING: Linking two modules of different data layouts! WARNING: Linking two modules of different target triples! KLEE: WARNING: undefined reference to function: _fwrite KLEE: WARNING: undefined reference to variable: __stderrp KLEE: WARNING: calling external: _fwrite(15814384, 1, 3, 11543160515508406960) 0 klee 0x009b7598 PrintStackTrace(void*) + 40 1 klee 0x009b7d09 SignalHandler(int) + 713 2 libSystem.B.dylib 0x924ad9bb _sigtramp + 43 3 libSystem.B.dylib 0xffffffff _sigtramp + 1840588399 4 libSystem.B.dylib 0x00e3204b _sigtramp + 1855473339 The log file it references is empty, and all other check tests pass. This may be due to LLVM target mismatches, I'll investigate that. Does anyone know what else this might be? Keaton On Fri, Jan 29, 2010 at 7:58 AM, Daniel Dunbar <daniel at zuster.org> wrote: > On Fri, Jan 29, 2010 at 2:38 AM, Keaton Mowery <kmowery at gmail.com> wrote: >> I added llvm-gcc to my path and re-configured and re-built LLVM with >> the "--with-llvmgcc" flag. > > Ok, can you verify that in the LLVM build directory, inside > Makefile.config, that the line > ?LLVMGCC ?:= ... > references the right path? > > The error you are seeing I have only ever seen because of a missing > llvm-gcc (the makefiles make the .ll files depend on the compiler, so > if it is missing you get this annoying Makefile error). > >> I'm still getting the same error when >> compiling klee. Do we know what the >> "klee/runtime/Intrinsic/Release/klee_div_zero_check.ll" is supposed to >> be and how it is normall generated? Thanks. > > klee_div_zero_check.ll is one of the runtime library files klee needs > (in this case, to handle division by zero checks). > > ?- Daniel > >> Keaton >> >> On Thu, Jan 28, 2010 at 9:52 PM, Daniel Dunbar <daniel at zuster.org> wrote: >>> Hi Keaton, >>> >>> I think this is because you configured LLVM without llvm-gcc >>> available, and so it doesn't have a compiler to use to compile the >>> LLVM versions of the bitcode libraries. >>> >>> ?- Daniel >>> >>> On Wed, Jan 27, 2010 at 3:05 PM, Keaton Mowery <kmowery at gmail.com> wrote: >>>> Hello, >>>> >>>> I'm having issues building klee. My current issue looks like this: >>>> >>>> make[2]: Nothing to be done for `all'. >>>> if [ ! -f Intrinsic/Makefile ]; then \ >>>> ? ? ? ? ?/Users/kmowery/src/builds/llvm-2.6/autoconf/mkinstalldirs >>>> Intrinsic; \ >>>> ? ? ? ? ?/bin/cp /Users/kmowery/src/builds/klee/runtime/Intrinsic/Makefile >>>> Intrinsic/Makefile; \ >>>> ? ? ? ?fi; \ >>>> ? ? ? ?make -C Intrinsic all >>>> make[2]: *** No rule to make target >>>> `/Users/kmowery/src/builds/klee/runtime/Intrinsic/Release/klee_div_zero_check.ll', >>>> needed by >>>> `/Users/kmowery/src/builds/klee/runtime/Intrinsic/Release/klee_div_zero_check.bc'. >>>> ?Stop. >>>> make[1]: *** [Intrinsic/.makeall] Error 2 >>>> make: *** [all] Error 1 >>>> >>>> I'm getting this error on both OSX and Ubuntu, and I can't track down >>>> the error through the Makefiles. Any insight? >>>> >>>> Also, for anyone else who might be googling for OSX issues, this error: >>>> "ld: warning: in /Users/kmowery/src/builds/klee/stp/lib/libstp.a, file >>>> is not of required architecture >>>> Undefined symbols:" >>>> can be fixed by doing >>>> "CFLAGS="-m32"; CXXFLAGS="-m32"; ./configure >>>> --with-llvm=/Users/kmowery/src/builds/llvm-2.6/" >>>> >>>> Thanks! >>>> >>>> Keaton Mowery >>>> _______________________________________________ >>>> klee-dev mailing list >>>> klee-dev at keeda.stanford.edu >>>> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >>>> >>> >> >
