Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 625104

Summary: dev-ml/bignum-0.9.0 : make inconsistent assumptions over interface Pervasives
Product: Gentoo Linux Reporter: Toralf Förster <toralf>
Component: Current packagesAssignee: No maintainer - Look at https://wiki.gentoo.org/wiki/Project:Proxy_Maintainers if you want to take care of it <maintainer-needed>
Status: RESOLVED OBSOLETE    
Severity: normal CC: treecleaner
Priority: Normal Keywords: PMASKED
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---
Deadline: 2020-01-12   
Attachments: emerge-info.txt
dev-ml:bignum-0.9.0:20170714-171841.log
emerge-history.txt
environment
etc.portage.tbz2
temp.tbz2

Description Toralf Förster gentoo-dev 2017-07-14 17:46:27 UTC
Error: Files /usr/lib64/ocaml/base/caml/caml.cmxa
       and /usr/lib64/ocaml/stdlib.cmxa
       make inconsistent assumptions over interface Pervasives
make: *** [Makefile:5: default] Error 1
 * ERROR: dev-ml/bignum-0.9.0::gentoo failed (compile phase):
 *   emake failed

  -------------------------------------------------------------------

  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) *
Comment 1 Toralf Förster gentoo-dev 2017-07-14 17:46:30 UTC
Created attachment 484362 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2017-07-14 17:46:34 UTC
Created attachment 484364 [details]
dev-ml:bignum-0.9.0:20170714-171841.log
Comment 3 Toralf Förster gentoo-dev 2017-07-14 17:46:37 UTC
Created attachment 484366 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2017-07-14 17:46:40 UTC
Created attachment 484368 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2017-07-14 17:46:44 UTC
Created attachment 484370 [details]
etc.portage.tbz2
Comment 6 Toralf Förster gentoo-dev 2017-07-14 17:46:47 UTC
Created attachment 484372 [details]
temp.tbz2
Comment 7 Sam James archtester Gentoo Infrastructure gentoo-dev Security 2020-10-13 23:41:40 UTC
Removed.