Commit message (Expand) | Author | Age | |
---|---|---|---|
* | First attempt to switch to Automake, to get shared libraries built in OSX | Adam Chlipala | 2010-01-28 |
* | Dynamic linking of the runtime system | Adam Chlipala | 2009-12-27 |
* | GCCARGS configure option | Adam Chlipala | 2008-10-28 |
* | Use configure --prefix | Adam Chlipala | 2008-10-25 |
* | Proper configuration and installation | Adam Chlipala | 2008-10-19 |