| Summary: | sci-mathematics/coq fails to compile | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Agostino Sarubbo <ago> |
| Component: | Current packages | Assignee: | Gentoo Team for the ML programming language family <ml> |
| Status: | RESOLVED WORKSFORME | ||
| Severity: | normal | CC: | dev-portage, sci-mathematics |
| Priority: | Normal | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
| Bug Depends on: | |||
| Bug Blocks: | 619676 | ||
| Attachments: |
coq-8.6:20170704-141515.log.bz2
emerge --info |
||
|
Description
Agostino Sarubbo
2017-07-04 14:22:40 UTC
Created attachment 480628 [details]
coq-8.6:20170704-141515.log.bz2
build log
Created attachment 480630 [details]
emerge --info
emerge --info
From your log:
Files /usr/lib64/ocaml/camlp4/camlp4lib.cmxa
and /usr/lib64/ocaml/stdlib.cmxa
make inconsistent assumptions over implementation Sys
/usr/lib64/ocaml/stdlib.cmxa comes from ocaml itself, /usr/lib64/ocaml/camlp4/camlp4lib.cmxa comes from dev-ml/camlp4.
This means ocaml has been updated but camlp4 has not been rebuilt after that.
you don't seem to be using camlp5, so coq has:
!camlp5? ( dev-ml/camlp4:= ) dep
camlp4 has:
DEPEND=">=dev-lang/ocaml-4.04_beta:=[ocamlopt?]"
RDEPEND="${DEPEND}
so, if you update ocaml, portage should consider camlp4 uninstalled since it has := deps causing rebuilds and trigger a rebuild of camlp4 before attempting to build coq; somehow, this does not happen on your system. Hence there is something broken on your system or this is a portage bug.
|