summaryrefslogtreecommitdiff
path: root/configure.ac
AgeCommit message (Expand)Author
2014-01-08Switch license default back to BSD, and add --best and --enable-gpl options.Morgan Deters
2013-12-18Fix an autoconf issue with CLN in some configurations; also clarification re:...Morgan Deters
2013-12-18Fix configure handling for CLN (should fix win32 nightly builds)Morgan Deters
2013-12-17configure --with-portfolio disables CLN.Morgan Deters
2013-12-17some config changes: new --bsd option, readline gives warning, default build ...Morgan Deters
2013-12-09GLPK build identifier, license warnings.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
2012-10-25One of my changes to the build system yesterday broke the nightly build because:Morgan Deters
2012-10-24Includes many fixes to build system for Solaris (thanks Tim!), and alsoMorgan Deters
2012-10-06* Some documentation about building compatibility and language bindingsMorgan Deters
2012-09-29draft RELEASE-NOTES file, and minor release stuffMorgan Deters
2012-09-28Public interface review items:Morgan Deters
2012-09-25fixMorgan Deters
2012-09-25fix some Mac issuesMorgan Deters
2012-09-21SMT-LIBv2 compliance updates:Morgan Deters
2012-09-14Fix a few minor issues in options processing, improving usability, consistenc...Morgan Deters
2012-09-04Accepted some patches from the Multicore Programming Group at Imperial Colleg...Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback