summaryrefslogtreecommitdiff
path: root/configure.ac
AgeCommit message (Expand)Author
2017-03-08Fix MinGW-w64 buildAndres Notzli
2016-12-01Fix build on macOS SierraAndres Notzli
2016-05-24Merged cryptominisat from experimental branch.Liana Hadarean
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2015-10-26This commit fixes a bug related to a public header depending on a compiler fl...Tim King
2015-10-24Revert "Default builds are now proof enabled."Kshitij Bansal
2015-10-23Changes configure.ac so that the single recurisve invocation runs with a rela...Tim King
2015-10-11Default builds are now proof enabled.Liana Hadarean
2015-10-09Temporary reverting commit 477e72b (proofs as default build) until we fix nig...Liana Hadarean
2015-10-07Default builds are now proof enabled.Liana Hadarean
2015-02-12Changing CXXFLAGS for custom cln installation in configure.ac.Tim King
2015-01-19Adding an additional search path to configure.ac for cxxtestgen to reflect th...Tim King
2014-08-12To avoid confusion, permit --enable-staticbinary as an alias for --enable-sta...Morgan Deters
2014-07-13Versioning for master.Morgan Deters
2014-07-13New versioning for development version.Morgan Deters
2014-07-13Cutting release 1.4.1.4Morgan Deters
2014-06-26Minor language bindings fixes.Morgan Deters
2014-06-25Stack-size portfolio fix. If using Boost 1.50, --thread-stack=MB is now supp...Morgan Deters
2014-06-21Adjust library dependencies to be more correct (fixes lintian warnings).Morgan Deters
2014-06-19Fix for mac readline.Morgan Deters
2014-06-19Fix for pre-C++11 is_sorted().Morgan Deters
2014-06-19No more dependence on libstdc++ or PBDS stuff: remove build stuff that suppor...Morgan Deters
2014-06-19get-glpk-cut-log script, and configure code.Morgan Deters
2014-06-11Some clean-up, post bv-merge.Morgan Deters
2014-06-10Merging CAV14 paper bit-vector work.lianah
2014-05-30Fix personal.mk for some make targets.Morgan Deters
2014-01-08Merge branch '1.3.x'Morgan Deters
2014-01-08Switch license default back to BSD, and add --best and --enable-gpl options.Morgan Deters
2013-12-23Proof-checking code; fixups of segfaults and missing functionality in proof g...Morgan Deters
2013-12-18Merge branch '1.3.x'Morgan Deters
2013-12-18Fix an autoconf issue with CLN in some configurations; also clarification re:...Morgan Deters
2013-12-18Merge branch '1.3.x'Morgan Deters
2013-12-18Fix configure handling for CLN (should fix win32 nightly builds)Morgan Deters
2013-12-18Reduce autoconf version for dependence (should fix 32-bit builds).Morgan Deters
2013-12-17Merge branch '1.3.x'Morgan Deters
2013-12-17configure --with-portfolio disables CLN.Morgan Deters
2013-12-17Merge branch '1.3.x'Morgan Deters
2013-12-17some config changes: new --bsd option, readline gives warning, default build ...Morgan Deters
2013-12-16First attempt at incorporating LFSC proof checker into CVC4.Morgan Deters
2013-12-10GLPK build identifier, license warnings.Morgan Deters
2013-12-09GLPK build identifier, license warnings.Morgan Deters
2013-12-06Initializing master for next version.Morgan Deters
2013-12-06Initializing 1.3.x branch.Morgan Deters
2013-12-06Cutting release 1.3.1.3Morgan Deters
2013-11-14Minor fixes for Mac OS MavericksMorgan Deters
2013-11-12Some additional explanation for a common configure error.Morgan Deters
2013-11-10Flatten libcvc4 build structure; remove some #include interdependencesMorgan Deters
2013-09-18Support a personal build configuration and make rules.Morgan Deters
2013-07-29Fix numerous compiler warnings on various platformsMorgan Deters
2013-07-23fix for win32 option parsing via mingw32Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback