summaryrefslogtreecommitdiff
path: root/configure.ac
AgeCommit message (Expand)Author
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
2012-02-23pcvc4 only built if --with-portfolio given to the configure script (Clark-req...Morgan Deters
2012-02-22fixes to configure and boost.m4 to make certain boost installations nonfatal ...Morgan Deters
2012-02-22another static library unavailability issueMorgan Deters
2012-02-22Fixes to documentation / fixes for MacOSMorgan Deters
2012-02-21add a "--with-portfolio" configure option that makes a missing boost-thread l...Morgan Deters
2012-02-21fix src/util/hash.h to specialize GNU's hash template for <uint64_t> on platf...Morgan Deters
2012-02-21don't require libboost_thread (its presence is detected at configure-time), a...Morgan Deters
2012-02-20zlib not required; remove configure's dependency on itMorgan Deters
2012-02-20portfolio mergeMorgan Deters
2012-02-12separate new-theory components into a "theoryskel" directory so that new file...Morgan Deters
2012-02-07re-adding comment about available languagesMorgan Deters
2012-02-03updating configure to use python-config for building python bindingsDejan Jovanović
2011-10-28proof regressionsMorgan Deters
2011-10-28merged the proofgen3 branch into trunk:Liana Hadarean
2011-10-21add gcc version information to Configuration, and warn when building with v4....Morgan Deters
2011-10-19fix configure step on Ubuntu oneiric (11.10)-- related to bug #284Morgan Deters
2011-10-03user push/pop support in minisat and simplification; also bindings workMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback