| Summary: | sci-mathematics/coq-8.6 : Error: The files /usr/lib64/ocaml/pervasives.cmi | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Toralf Förster <toralf> |
| Component: | Current packages | Assignee: | Gentoo Science Mathematics related packages <sci-mathematics> |
| Status: | RESOLVED OBSOLETE | ||
| Severity: | normal | CC: | sci-mathematics |
| Priority: | Normal | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
| Attachments: |
emerge-info.txt
emerge-history.txt environment etc.portage.tbz2 sci-mathematics:coq-8.6:20170714-044827.log temp.tbz2 |
||
Created attachment 484488 [details]
emerge-info.txt
Created attachment 484490 [details]
emerge-history.txt
Created attachment 484492 [details]
environment
Created attachment 484494 [details]
etc.portage.tbz2
Created attachment 484496 [details]
sci-mathematics:coq-8.6:20170714-044827.log
Created attachment 484498 [details]
temp.tbz2
sci-mathematics/coq-8.6 is no longer in the ::gentoo tree |
"/usr/bin/ocamlfind" ocamlc -rectypes -c -I "+camlp4" -pp '"/usr/bin/camlp4orf" -I "+camlp4" -impl' -impl grammar/compat5.mlp File "grammar/compat5.mlp", line 1: Error: The files /usr/lib64/ocaml/pervasives.cmi and /usr/lib64/ocaml/camlp4/Camlp4.cmi make inconsistent assumptions over interface Pervasives make[1]: *** [Makefile.build:257: grammar/compat5.cmo] Error 2 ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 13.0-systemd_20170711-225716 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-6.3.0 * Available Python interpreters, in order of preference: [1] python3.4 [2] python3.5 (fallback) [3] python2.7 (fallback) Available Ruby profiles: [1] ruby21 (with Rubygems) [2] ruby22 (with Rubygems) *