Source: coq-doc Version: 8.15.2-2 Severity: important Hi,
coq-doc FTBFS on some architectures (e.g. arm64, armhf, ppc64el) while
it succeeds on others (e.g. amd64, i386). This is probably a problem in
one of the (transitive) build dependencies, but I don't know how to
pinpoint it. If you reassign this bug, please add an Affects: src:coq-doc.
Running[3870]: (cd _build/default/doc && /usr/bin/env sphinx-build -q -q -b
html sphinx refman-html)
Running[3871]: (cd _build/default/doc && /usr/bin/env sphinx-build -q -q -b
latex sphinx refman-pdf)
Command [3870] exited with code 2:
$ (cd _build/default/doc && /usr/bin/env sphinx-build -q -q -b html sphinx
refman-html)
Extension error:
/build/coq-doc-8.15.2/_build/default/doc/sphinx/proof-engine/ltac.rst:2509:
Error while sending the following to coqtop:
tac.
coqtop output:
Full error text:
Timeout exceeded.
<pexpect.pty_spawn.spawn object at 0x5508a9ca00>
command: /build/coq-doc-8.15.2/_build/install/default/bin/coqtop
args: [b'/build/coq-doc-8.15.2/_build/install/default/bin/coqtop', b'-q',
b'-color', b'on']
buffer (last 100 chars): ''
before (last 100 chars): ''
after: <class 'pexpect.exceptions.TIMEOUT'>
match: None
match_index: None
exitstatus: None
flag_eof: False
pid: 1213
child_fd: 5
closed: False
timeout: 30
delimiter: <class 'pexpect.exceptions.EOF'>
logfile: None
logfile_read: None
logfile_send: None
maxread: 2000
ignorecase: False
searchwindowsize: None
delaybeforesend: 0
delayafterclose: 0.1
delayafterterminate: 0.1
searcher: searcher_re:
0: re.compile('\r\n[^< \r\n]+ < ')
ANTLR runtime and generated code versions disagree: 4.9.1!=4.7.2
Duplicate cmd name: Extraction
Duplicate exn name: Not equal
Duplicate exn name: Not equal (due to universes)
Command [3871] exited with code 2:
$ (cd _build/default/doc && /usr/bin/env sphinx-build -q -q -b latex sphinx
refman-pdf)
Extension error:
/build/coq-doc-8.15.2/_build/default/doc/sphinx/proof-engine/ltac.rst:2509:
Error while sending the following to coqtop:
tac.
coqtop output:
Full error text:
Timeout exceeded.
<pexpect.pty_spawn.spawn object at 0x5509f2bbb0>
command: /build/coq-doc-8.15.2/_build/install/default/bin/coqtop
args: [b'/build/coq-doc-8.15.2/_build/install/default/bin/coqtop', b'-q',
b'-color', b'on']
buffer (last 100 chars): ''
before (last 100 chars): ''
after: <class 'pexpect.exceptions.TIMEOUT'>
match: None
match_index: None
exitstatus: None
flag_eof: False
pid: 4350
child_fd: 5
closed: False
timeout: 30
delimiter: <class 'pexpect.exceptions.EOF'>
logfile: None
logfile_read: None
logfile_send: None
maxread: 2000
ignorecase: False
searchwindowsize: None
delaybeforesend: 0
delayafterclose: 0.1
delayafterterminate: 0.1
searcher: searcher_re:
0: re.compile('\r\n[^< \r\n]+ < ')
ANTLR runtime and generated code versions disagree: 4.9.1!=4.7.2
Duplicate cmd name: Extraction
Duplicate exn name: Not equal
Duplicate exn name: Not equal (due to universes)
make[1]: *** [debian/rules:9: override_dh_auto_build] Error 1
make[1]: Leaving directory '/build/coq-doc-8.15.2'
make: *** [debian/rules:4: binary] Error 2
Andreas
coq-doc_8.15.2-2.log.gz
Description: application/gzip
