summaryrefslogtreecommitdiff
path: root/configure.ac
AgeCommit message (Expand)Author
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
2013-05-08Prerelease versioning for masterMorgan Deters
2013-05-08Prerelease versioning for 1.2.xMorgan Deters
2013-05-08Cutting release 1.2.1.2Morgan Deters
2013-04-29Some fixes for GCC 4.2, and for Java on MacMorgan Deters
2013-04-29Fixes to FCSimplex for some versions of compilersMorgan Deters
2013-04-26FCSimplex branch mergeTim King
2013-04-23Theory "alternates" supportMorgan Deters
2013-04-03Prerelease versioning for master.Morgan Deters
2013-04-03Pre-release versioningMorgan Deters
2013-04-03Cutting release 1.1.1.1Morgan Deters
2013-04-01Merging some cleanup work:Morgan Deters
2013-03-26Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javacMorgan Deters
2013-03-19Remove PropositionalQuery class and all CUDD-related build stuff (and referen...Morgan Deters
2013-01-28some fixes for win32, including ability to "make check" win32 builds via wineMorgan Deters
2013-01-24Add win32 support (merge from mdeters/win32, with some cleanup).Morgan Deters
2012-12-18Fix bug 483: readline checks must come after Boost checks in configureMorgan Deters
2012-12-03version numberingMorgan Deters
2012-12-01Cutting release 1.0.1.0Morgan Deters
2012-11-29Fix for hidden symbols in library on Mac. It's a strange issue to do withMorgan Deters
2012-11-27fix for some Mac buildsMorgan Deters
2012-11-27give warning at configure-time about unsupported language bindings, and don't...Morgan Deters
2012-11-12* Fix language bindings: various issuesMorgan Deters
2012-11-05fixes for mac osMorgan Deters
2012-10-25last build system fix for now: fix some typos affecting MacACSYS
2012-10-25extra quoting for special characterMorgan Deters
2012-10-25more minor fixes to build systemACSYS
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback