about summary refs log tree commit diff homepage
path: root/Makefile.rules
AgeCommit message (Expand)Author
2017-02-22Makefile: change -std-compile-opts to -O3Richard Trembecký
2017-01-16Remove undocumented and unused `check-local`, `check-dg` and `check-lit`Dan Liew
2017-01-16Rename old build system targets so thatDan Liew
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 21:12:24 +0000