Stream: Coq devs & plugin devs

Topic: sketchy build errors


view this post on Zulip Jason Gross (Aug 04 2023 at 23:04):

Has anyone seen this one before?

File "doc/dune", line 23, characters 0-489:
23 | (rule
24 |  (targets refman-html)
25 |  (alias refman-html)
....
37 |   (env_var SPHINXWARNOPT))
38 |  (action
39 |   (run env sphinx-build -q %{env:SPHINXWARNOPT=-W} -b html sphinx %{targets})))
Command [5] exited with code 2:
$ (cd _build/default/doc && /usr/bin/env sphinx-build -q -W -b html sphinx refman-html)

Exception occurred:
  File "/usr/local/lib/python3.10/dist-packages/antlr4/atn/ATNDeserializer.py", line 50, in checkVersion
    raise Exception("Could not deserialize ATN with version " + str(version) + " (expected " + str(SERIALIZED_VERSION) + ").")
Exception: Could not deserialize ATN with version  (expected 4).
The full traceback has been saved in /tmp/build_6b49f3_dune/sphinx-err-6hfr4qnz.log, if you want to report the issue to the developers.
Please also report this if it was a user error, so that a better error message can be provided next time.
A bug report can be filed in the tracker at <https://github.com/sphinx-doc/sphinx/issues>. Thanks!
Running[9]: (cd _build/default/doc/stdlib && /usr/bin/mv html/index.html html/genindex.html)
Running[10]: (cd _build/default/doc/stdlib && /usr/bin/cp _index.html html/index.html)
File "doc/stdlib/dune", line 43, characters 9-13:
43 |  (files (html as html/stdlib))
              ^^^^
Error: Error trying to read targets after a rule was run:
- default/doc/coq-doc/html/stdlib: Unexpected file kind "S_DIR" (directory)

view this post on Zulip Jason Gross (Aug 04 2023 at 23:04):

(What is that strange non-printing character that is the ATN version? Why is it getting a directory?)

view this post on Zulip Jason Gross (Aug 04 2023 at 23:07):

How do I get dune to keep /tmp/build_6b49f3_dune lying around rather than deleting it?

view this post on Zulip Théo Zimmermann (Aug 05 2023 at 09:10):

Never seen this. You were trying to build the refman specifically?

view this post on Zulip Jason Gross (Aug 05 2023 at 22:15):

No, I was doing dune build @install aka trying to work around https://coq.zulipchat.com/#narrow/stream/237656-Coq-devs-.26-plugin-devs/topic/installing.20without.20sphinx.3F/near/381992268

view this post on Zulip Paolo Giarrusso (Aug 06 2023 at 07:33):

dune build @install means "find all the folders with an install target, and run all those targets". dune build @folder/install restricts the search to folder and its subfolders.


Last updated: Dec 05 2023 at 11:01 UTC