Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Turn off GCC's fancy %n checking, because the performance cost is too high | Adam Chlipala | 2014-02-07 |
* | make dist: Use fewer wildcards | Anders Kaseorg | 2013-11-22 |
* | Allow building in a separate build directory | Anders Kaseorg | 2013-11-22 |
* | Add missing inter-library dependencies | Anders Kaseorg | 2013-11-21 |
* | Add support for -boot flag, which allows in-tree execution of Ur/Web | Edward Z. Yang | 2012-05-02 |
* | Turn off warnings about deprecated functions, to placate silly OpenSSL change... | Adam Chlipala | 2011-10-26 |
* | Generated pretty-printed HTML for a simple tutorial source file | Adam Chlipala | 2011-07-15 |
* | Fixes to work nicely with OS X and Clang (thanks to Austin Seipp) | Adam Chlipala | 2011-06-17 |
* | Switch from libmhash to OpenSSL | Adam Chlipala | 2010-12-26 |
* | Switch to gcc -Wall | Adam Chlipala | 2010-01-28 |
* | First attempt to switch to Automake, to get shared libraries built in OSX | Adam Chlipala | 2010-01-28 |