Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Makefile: re-introduce 2 phases to avoid make strange -include's | 2014-02-27 | |
* | Remove broken makefile option NO_RECOMPILE_LIB | 2012-09-20 | |
* | Makefile: cleanup of comments + a few words about recent changes in dev/doc/b... | 2010-03-04 | |
* | Use $(COQTOPEXE) to refer to bin/coqtop in Makefiles | 2008-09-06 | |
* | Fix typos | 2008-06-05 | |
* | Implement KEEP_ML4_PREPROCESSED option in build system | 2008-02-13 | |
* | Implement NO_RECALC_DEPS option in build system | 2008-02-13 | |
* | Allow a few build system optimisations/corner-cutting | 2007-10-11 | |
* | Add glob.dump to Makefile the recommended way and document the | 2007-07-25 | |
* | Reorganise cleaning targets | 2007-07-16 | |
* | New bootstrapping, improved, Makefile system | 2007-07-13 |