summaryrefslogtreecommitdiff
path: root/Makefile.best_binaries
Commit message (Collapse)AuthorAgeFilesLines
* Build system: rename the CAMLRUN variable to OCAMLRUNSébastien Hinderer2021-04-271-2/+2
| | | | | | Since ocamldoc/Makefile.best_ocamldoc was already using OCAMLRUN (rather than CAMLRUN), it was possible to remove its definition in that file, because the value is now initialised globally in Makefile.common.
* Add internal toggle to disable using .opt binariesDavid Allsopp2020-09-141-2/+5
| | | | | Adding USE_BEST_BINARIES= to the command line disables the use of the .opt compilers.
* Add the $(EXE) suffix to all programs at build rather than install timeSébastien Hinderer2020-06-181-7/+7
| | | | | | | | This commit touches neither boot/ocamlc nor boot/ocamllex It has the side-effect of fixing the cleanup rules which did not use the $(EXE) extension when removing a file although it was produced with the $(EXE) extension.
* 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