| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-03-10 | test coq-makefile/camldep: try to build a cmx only when there is an ocamlopt | Ralf Treinen | |
| compiler. In any case, try to build a cmo file. | |||
| 2018-11-13 | coq_makefile: Fix ocamldep ignoring mlg files | Gaëtan Gilbert | |
| 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. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |