Hi Milen, The error is likely to be due to a version mismatch between llvm-gcc and llvm. For example you might be trying to compile klee with llvm-gcc 2.7 against llvm 2.8 or you might have compiled llvm 2.8 with llvm-gcc 2.7.
Double check that you have the appropriate versions in your path. Paul ________________________________________ From: klee-dev-bounces at keeda.stanford.edu [klee-dev-bounces at keeda.stanford.edu] On Behalf Of Milen Dzhumerov [[email protected]] Sent: Tuesday, December 28, 2010 4:55 PM To: klee-dev at keeda.stanford.edu Subject: [klee-dev] Compilation Problem (HEAD r122598 + LLVM 2.8) Hi, I'm trying to build KLEE r122598 (HEAD as of the time of writing; using LLVM v2.8 compiled from source). Everything builds fine up to the following error message: make[2]: *** No rule to make target `[snip]/klee/runtime/Intrinsic/Release+Asserts/klee_div_zero_check.ll', needed by `[snip]/klee/runtime/Intrinsic/Release+Asserts/klee_div_zero_check.bc'. Stop I can verify that klee_div_zero_check.c exists in klee/runtime/Intrinsic but I assume that for some reason the rule for ...klee_div_zero_check.ll didn't get generated. I've got no ideas why that might be the case, any pointers are greatly appreciated. Thanks, Milen _______________________________________________ klee-dev mailing list klee-dev at keeda.stanford.edu http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
