Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add the $(EXE) suffix to all programs at build rather than install time | Sébastien Hinderer | 2020-06-18 | 1 | -7/+7 |
* | Makefiles: require only the bootstrap compiler for BEST_OCAMLDEP | Gabriel Scherer | 2020-05-01 | 1 | -1/+11 |
* | nicer style in Makefile.best_binaries | Xavier Leroy | 2019-10-12 | 1 | -24/+17 |
* | Makefile.best_binaries: only use the native tool when it is newer (not stale) | Gabriel Scherer | 2019-10-12 | 1 | -17/+24 |
* | Makefile.best_binaries: best-effort commands for OCAML{C,OPT,DEP,LEX} | Gabriel Scherer | 2019-10-12 | 1 | -0/+46 |