On 7 November 2014 04:11, Bob Kuo <[email protected]> wrote: > Hello klee-dev, > > > I have successfully built Klee (master) off of Clang 3.5 on Ubuntu 14.10. The > required changes are pretty minimal:
Do you mean you built KLEE using Clang 3.5 and linked against LLVM3.5 or do you mean you used Clang 3.5 to build but linked against a different version of LLVM? I presume you mean the former. > > bkuo@bkuo-VirtualBox:/work/bkuo/klee$ git diff -w | diffstat > ModuleUtil.cpp | 64 > ++++++++++++++++++++++++++------------------------------- > 1 file changed, 30 insertions(+), 34 deletions(-) I did have some hacky changes in a pull request [1] a while back to introduce LLVM3.5 support into KLEE. Some of these commits were cherry picked by others into the master branch. The remaining part was the "hacky to begin with" linking code in ModuleUtil.cpp which didn't get cherry picked because I had lots of really ugly version checking macros. > Would you like me to submit this patch? If so, is a GitHub pull request the > preferred method? If what you've done is cleaner than my hack (it probably is) then yes :) Yes, a pull request on GitHub is the preferred method. We have TravisCI setup so if your patch breaks building against LLVM3.4 or LLVM2.9 then we'll know. [1] https://github.com/klee/klee/pull/141 Thanks, Dan. _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
