This is a follow up on a prior posting. I have finally been able to build a working? Version of KLEE on Fedora 14 32bit
I cannot specifically identify the reason for the prior failure, or the current success. I can only speculate My current speculation is compiler or library pollution. That is comingling during linking of objects produced by different compilers The discovery was a side effect of attempting to build a version of LLVM which supported the Ada Language. One of its tests was to build KLEE. The other using it to compile itself was not entirely successfully. dbl > -----Original Message----- > From: klee-dev-bounces at keeda.stanford.edu [mailto:klee-dev- > bounces at keeda.stanford.edu] On Behalf Of David Lightstone > Sent: Tuesday, March 01, 2011 8:30 AM > To: klee-dev at keeda.stanford.edu > Subject: [klee-dev] regression test failure (or build failure) against Fedora 14 > 32bit and 64 bit distributions > > I knew where was a reason why I abandoned Fedora 14 in favor of Fedora 13. > During my rebuild of Fedora 14 distributions (both 32 bit and 64 bit) I > observed the following. I am in over my head, so if it is worth trouble > shooting I will have to be guided thru it. > > I should note that for other systems (ptxdist in particular) it has been > observed that the latest tools (make in particular) are not necessarily > backward compatible with the development build process. That is not to say > that the tools are fault, just not consistent with a successful build. > > dbl >
