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
