Jason Gross (Aug 04 2023 at 23:16): Jason Gross (Aug 04 2023 at 23:16):How do I tell coq to install even when the build is broken?
$ dune install --prefix "$HOME/.local64/coq/coq-master/" -p coq-core
Error: The following <package>.install are missing:
- _build/default/coq-doc.install
Hint: try running: dune build [-p <pkg>] @install
I guess I can touch _build/default/coq-doc.install, but that seems kinda weird
Théo Zimmermann (Aug 05 2023 at 09:11):Sphinx is not part of the coq-core / coq opam packages, so I don't see why you would need the Sphinx dependency / to build this part of the system. The coq-doc opam package is known not to work BTW.
Jason Gross (Aug 05 2023 at 22:14):Is it possible I have some outdated files somewhere and need to git clean -xfd?
Gaëtan Gilbert (Aug 05 2023 at 22:21):did you dune build -p coq-core or whatever the build command is before dune install?
Jason Gross (Aug 05 2023 at 23:06):Yes, and it succeeded, IIRC
Théo Zimmermann (Aug 07 2023 at 09:25):If you have Dune caching enabled, it rarely hurts to do a git clean -xfd.
Emilio Jesús Gallego Arias (Aug 08 2023 at 16:34):@Jason Gross I think your command line should be dune install --prefix "$HOME/.local64/coq/coq-master/" coq-core without the -p, dune install taking the -p is indeed confusing, and comes from a time where dune install would run dune build if needed (cc @Ali Caglayan )
Emilio Jesús Gallego Arias (Aug 08 2023 at 16:35):dune install -p $PKGS will be interpreted as just dune install, that is, it will try to install all packages that dune knows for the workspace.
Last updated: Oct 13 2024 at 01:02 UTC