about summary refs log tree commit diff homepage
path: root/Makefile.rules
AgeCommit message (Expand)Author
2015-03-22Fix compilation under MacOS, see https://github.com/klee/klee/issues/219 for ...Cristian Cadar
2013-11-08Fix the detection of the LLVM bitcode compiler. This is now done at KLEEDan Liew
2013-09-21Merge pull request #17 from MartinNowack/LLVM33Cristian Cadar
2013-08-28Link against shared library from LLVM correctlyMartin Nowack
2013-08-27Port to LLVM 3.3Martin Nowack
2013-08-15Use llvm-link instead of deprecated llvm-ldMartin Nowack
2013-08-15Warn if compiler is not found to build .ll filesMartin Nowack
2011-05-18Use local Makefile.rulesPeter Collingbourne
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-10 23:17:47 +0000