summaryrefslogtreecommitdiff
path: root/configure.ac
AgeCommit message (Expand)Author
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
2012-08-28fix regression tests for automake 1.11 and automake 1.12---both versions shou...Morgan Deters
2012-08-28fixes for Mac and automake 1.12 detectionMorgan Deters
2012-08-06Support setting :regular-output-channel and :diagnostic-output-channel.Morgan Deters
2012-07-31Options merge. This commit:Morgan Deters
2012-07-16reverse the order of link arguments to -lcln -lgmp, fixes linking errors for ...Morgan Deters
2012-07-08remove a debugging line from configure script that was left in inadvertentlyMorgan Deters
2012-07-01Some changes to configure.ac:Morgan Deters
2012-06-06Fixing numerous issues with tests and "make dist":Morgan Deters
2012-04-28require boost library (but not the threading support---that's only necessary ...Morgan Deters
2012-04-11merge from arrays-clark branchMorgan Deters
2012-04-06fix distributed builds (and therefore the Debian nightly build) by ignoring M...Morgan Deters
2012-03-30some more build system fixesDejan Jovanović
2012-03-09Some work on the dump infrastructure to support portfolio work.Morgan Deters
2012-03-03Changing the dependency checking; GMP is required (and sometimes must be expl...Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback