coq/test-suite/coq-makefile/camldep, branch master The formal proof system test coq-makefile/camldep: try to build a cmx only when there is an ocamlopt 2020-03-10T20:33:35+00:00 Ralf Treinen 2020-03-10T20:33:16+00:00 47862b094536cd9120fbad06c4733c95716c314d compiler. In any case, try to build a cmo file. 
compiler. In any case, try to build a cmo file.
coq_makefile: Fix ocamldep ignoring mlg files 2018-11-13T16:17:40+00:00 Gaëtan Gilbert 2018-11-10T18:52:19+00:00 ea68d3e92405760a453668c7f471e5c587884d80 If you have file1.mlg and file2.ml, with file2 depending on file1, ocamldep was before generating file1.ml so wouldn't generate [file2.cmx: file1.cmx] (ocamldep is silent on non-found dependencies). This has been causing nondeterministic failures in quickchick recently. I guess it didn't come up in the past because ml4 files tend to be at the end of the dependency chain. 
If you have file1.mlg and file2.ml, with file2 depending on file1,
ocamldep was before generating file1.ml so wouldn't generate
[file2.cmx: file1.cmx] (ocamldep is silent on non-found dependencies).

This has been causing nondeterministic failures in quickchick
recently.

I guess it didn't come up in the past because ml4 files tend to be at
the end of the dependency chain.