about summary refs log tree commit diff homepage
path: root/autoconf
AgeCommit message (Expand)Author
2012-07-26Patch by Dan Liew that adds support for building Doxygen out-of-source.Cristian Cadar
2012-07-26Patch by Dan Liew: "Improved AutoRegen script so that it supports newer versi...Cristian Cadar
2011-07-20Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour ofPeter Collingbourne
2011-05-18Use local Makefile.rulesPeter Collingbourne
2010-10-04Fix the Release+Asserts build-type-overwrite logic,Dylan Noblesmith
2010-09-30Tweak configure to deal with another LLVM "Release -> Release+Asserts" rename onDaniel Dunbar
2010-08-05Add support for Debug+Asserts configurationPeter Collingbourne
2010-07-14Add option to use an external version of STPPeter Collingbourne
2010-04-05Fix some final objdir != src problems.Daniel Dunbar
2010-04-05STP: Switch build to using LLVM style Makefiles.Daniel Dunbar
2010-04-05Update config.{guess,sub}.Daniel Dunbar
2009-10-24Update configure logic to detect LLVM version (for use in config.h).Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-21 22:02:40 +0000