coq
coq copied to clipboard
Published
20 hours ago •
coq
coq
[coqdep] Turn dependency resolution failure from a warning to a fatal error
Strict mode means we fail when we cannot locate a file.
This is an experiment before implementing -modules.
Relevant OCaml issue is https://github.com/ocaml/ocaml/issues/8625
![coqbot-app[bot] avatar](https://avatars.githubusercontent.com/in/31373?v=4 "Published by a pub.dev verified publisher"){kind=small}
Related issues:
- https://github.com/coq/coq/issues/10156
- https://github.com/coq/coq/issues/13688
- https://github.com/coq/coq/issues/11454
The "needs: rebase" label was set more than 30 days ago. If the PR is not rebased in 30 days, it will be automatically closed.
The "needs: rebase" label was set more than 30 days ago. If the PR is not rebased in 30 days, it will be automatically closed.
This PR was not rebased after 30 days despite the warning, it is now closed.