Source: coq-doc
Version: 8.15.0-1
Severity: serious
Tags: ftbfs
Justification: fails to build from source
Hi,
I cannot rebuild coq-doc in sid (minimal pbuilder chroot), it fails with
[...]
dh binary --with sphinxdoc
dh_update_autotools_config
dh_autoreconf
debian/rules override_dh_auto_build
make[1]: Entering directory '/build/coq-doc-8.15.0'
dune build @refman-html @refman-pdf --display=verbose
Workspace root: /build/coq-doc-8.15.0
Running[0]: /usr/bin/nproc > /tmp/dune0e9ce7.output 2> /dev/null
Auto-detected concurrency: 16
disable binary cache
Running[1]: /usr/bin/ocamlc.opt -config > /tmp/duneedc787.output
[...]
Running[1244]: (cd _build/default && tools/configure/configure.exe -no-ask -native-compiler no -bin-annot)
[...]
Command [1244] exited with code 1:
$ (cd _build/default && tools/configure/configure.exe -no-ask -native-compiler no -bin-annot)
ocamlfind: Package `zarith' not found
Error while running '/usr/bin/ocamlfind query zarith -format %v' (exit code 2)
Configuration script failed!
File "interp/dune", line 6, characters 12-18:
6 | (libraries zarith pretyping))
^^^^^^
Error: Library "zarith" not found.
Hint: try:
dune external-lib-deps --missing --display verbose @refman-html @refman-pdf
make[1]: *** [debian/rules:9: override_dh_auto_build] Error 1
[...]
Andreas
Attachment:
coq-doc_8.15.0-1_sid.build.gz
Description: application/gzip