4 Commits (6ff2c11b25a8fe9ab34973bbc5c1dfed6b5a1532)

Author	SHA1	Message	Date
Gabriel Scherer	a5b6fd198a	Makefiles: require only the bootstrap compiler for BEST_OCAMLDEP	2020-05-01 22:23:28 +01:00
Xavier Leroy	3575eb1853	nicer style in Makefile.best_binaries	2019-10-12 10:30:34 +02:00
Gabriel Scherer	23e2c6e610	Makefile.best_binaries: only use the native tool when it is newer (not stale)	2019-10-12 10:30:34 +02:00
Gabriel Scherer	70adde7ff5	Makefile.best_binaries: best-effort commands for OCAML{C,OPT,DEP,LEX}	2019-10-12 10:23:29 +02:00