summaryrefslogtreecommitdiff
path: root/Makefile.best_binaries
Commit message (Expand)AuthorAgeFilesLines
* Add the $(EXE) suffix to all programs at build rather than install timeSébastien Hinderer2020-06-181-7/+7
* Makefiles: require only the bootstrap compiler for BEST_OCAMLDEPGabriel Scherer2020-05-011-1/+11
* nicer style in Makefile.best_binariesXavier Leroy2019-10-121-24/+17
* Makefile.best_binaries: only use the native tool when it is newer (not stale)Gabriel Scherer2019-10-121-17/+24
* Makefile.best_binaries: best-effort commands for OCAML{C,OPT,DEP,LEX}Gabriel Scherer2019-10-121-0/+46