Coq

coq fails to build for armhf architecture

Bug #1096023 reported by Ivan Zakharyaschev on 2013-01-04
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
Coq
New
Undecided
Unassigned
coq (Ubuntu)
Undecided
Unassigned

Bug Description

coq fails to build for armhf architecture on Ubuntu.

Neither for 12.04: https://launchpad.net/ubuntu/+source/coq/8.3.pl4+dfsg-1/+build/3379100

Nor for 13.04: https://launchpad.net/ubuntu/+source/coq/8.3.pl4+dfsg-2/+build/3961097

With the error:

bin/coqmktop -boot -opt -I config -I tools -I tools/coqdoc -I scripts -I lib -I kernel -I kernel/byterun -I library -I proofs -I tactics -I pretyping -I interp -I toplevel -I parsing -I ide/utils -I ide -I plugins/omega -I plugins/romega -I plugins/micromega -I plugins/quote -I plugins/ring -I plugins/dp -I plugins/setoid_ring -I plugins/xml -I plugins/extraction -I plugins/fourier -I plugins/cc -I plugins/funind -I plugins/firstorder -I plugins/field -I plugins/subtac -I plugins/rtauto -I plugins/nsatz -I plugins/syntax -I "+camlp5" -o bin/coqtop.opt
Fatal error: exception Invalid_argument("index out of bounds")

To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers