coq fails to build for armhf architecture
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Coq |
New
|
Undecided
|
Unassigned | ||
coq (Ubuntu) |
New
|
Undecided
|
Unassigned |
Bug Description
coq fails to build for armhf architecture on Ubuntu.
Neither for 12.04: https:/
Nor for 13.04: https:/
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_