summaryrefslogtreecommitdiff
path: root/autogen.sh
AgeCommit message (Expand)Author
2018-10-19Remove autotools build system. (#2639)Mathias Preiner
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2010-04-01PARSER STUFF:Morgan Deters
2010-01-28Replacing hand-coded autogen.sh with buildconf versionChristopher L. Conway
2009-12-16+ refactoring fixes for expr package based on code review (see bug #4)Morgan Deters
2009-12-16Fixes to the build system:Morgan Deters
2009-12-11build fixes, configuration simplificationsMorgan Deters
2009-12-09some fixes and organizational adjustments to assert code, parsers/lexers, and...Morgan Deters
2009-12-04more build system workMorgan Deters
2009-11-19testing framework, configure fixes, incorporations from meeting, continued workMorgan Deters
2009-11-12parser, minisat, other things..Morgan Deters
2009-11-03commit of project structure including autotools supportMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback