Created attachment 250143 [details] [PATCH] math/coq: update 8.19 -> 8.19.1 When building with IDE option disabled staging fails with: =======================<phase: stage >============================ ===== env: DEVELOPER_MODE=yes STRICT_DEPENDS=yes USER=root UID=0 GID=0 ===> Staging for coq-8.19.1,3 ===> coq-8.19.1,3 depends on file: /usr/local/lib/ocaml/site-lib/num/META - found ===> coq-8.19.1,3 depends on file: /usr/local/lib/ocaml/site-lib/zarith/META - found ===> coq-8.19.1,3 depends on file: /usr/local/bin/ocamlc - found ===> coq-8.19.1,3 depends on file: /usr/local/bin/emacs-29.3 - found ===> Generating temporary packing list Error: The following <package>.install are missing: - _build/default/coqide.install - _build/default/coqide-server.install Hint: try running: dune build [-p <pkg>] @install *** Error code 1
Created attachment 250840 [details] 0001-math-coq-Update-to-8.19.1-fix-ports-issues.patch Thanks for the report! I guess that I'm responsible for having broke it :) Please try the attached patch, it should fix the IDE-off issue and make coq somehow usable, at least coqtop now starts... :P (I can't test the gui atm, ymmv) I'll try to see how to get the docs back in the port, but that fix might take a while.
Created attachment 250872 [details] /tmp/0001-math-coq-Update-to-8.19.1-and-fix-fallout-from-the-o.patch.gz Hi please consider this new patch. It also fixes the building of the documentation. Sorry again for having broken this port during the ocaml upgrade.
Hi and thank you for your patch! I wouldn't be able to update the port without it. I see it better than mine and now will have mine obsoleted. Still need some more time to have a look and test, if you expected it from me, rather than the maintainer :) Please, don't be sad for any ports being broken: it's totally OK to have things not working here and there. What really matters is that you move it all forward! I too like to upgrade everything and fix what's broken, and never ever think of who is to blame, just fix :) Just let me have some more time to learn to be able to help people to fix more serious bugs, and hope we'll have less worrying about breaking even more things: I would be ready to help and fix whatever could happen! :) regards, Älven
*** Bug 279288 has been marked as a duplicate of this bug. ***
Hi! Your patch really helps: it all builds well, except when building with DOCS option enabled build_fs_violation fails with: =>> Checking for filesystem violations... done =>> Error: Filesystem touched during build: extra: var/db/fontconfig/c29384e4b134d8def4d8e9cb0a90f587-le64.cache-9 extra: var/db/fontconfig/7d1f3c163aa1e42829c34009a09a6378-le64.cache-9 extra: var/db/fontconfig/2c82646a4a74bde2cffe5974749d169d-le64.cache-9 extra: var/db/fontconfig/4e9b0965e23d3c34ccdf0771cf2138d7-le64.cache-9 extra: var/db/fontconfig/4cc12bdb6f6a38ad6d9ab2eb3107d218-le64.cache-9 extra: var/db/fontconfig/ca8610e0b9fbb7775145eeba1f7be670-le64.cache-9 extra: var/db/fontconfig/fce16c9654ef697bf5813703fe142c10-le64.cache-9 extra: var/db/fontconfig/99682c66ca3b6808b88fdd4ca96028ca-le64.cache-9 extra: var/db/fontconfig/2c9962a45979fb40a6efe1a0d61ef76d-le64.cache-9 extra: var/db/fontconfig/69cdd1ad57f8d7b6df724df1c6eb75a6-le64.cache-9 var/db/fontconfig/4c599c202bc5c08e2d34565a40eac3b2-le64.cache-9: size (272, 368) extra: var/db/fontconfig/9173c7c9d44f3bf78b19a48049e6262d-le64.cache-9 extra: var/db/fontconfig/0eca5168cfd59f7b9dcf09c6a96dcdd0-le64.cache-9 extra: var/db/fontconfig/51ed66b0839ca8b0a459e9e0e0975db1-le64.cache-9 extra: var/db/fontconfig/4bbc243522d8d52a024f67b520eab9ac-le64.cache-9 extra: var/db/fontconfig/7758ace85a5dee1419d0d5d41073f680-le64.cache-9 build of math/coq@full | coq-8.19.1,3 ended at Mon May 27 04:28:05 +04 2024 build time: 00:13:12 !!! build failure encountered !!! [00:40:36] Error: Build failed in phase: build_fs_violation
(In reply to Älven from comment #6) I am unable to reproduce that error. For me, /var/db/fontconfig gets filled a bit during dependency installation with 7 files, but nothing gets added there during the build phase of coq. Also XDG_CACHE_HOME is properly propagated to dune, sphinx-build or xetex for that matter. Could it be caused by some make.conf customization on your side ? I'm puzzled...