Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 615784 - dev-ml/incremental_kernel-0.9.0 : make inconsistent assumptions over implementation Sys
Summary: dev-ml/incremental_kernel-0.9.0 : make inconsistent assumptions over i...
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Gentoo Team for the ML programming language family
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2017-04-16 21:52 UTC by Toralf Förster
Modified: 2017-04-17 08:37 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments
emerge-info.txt (emerge-info.txt,5.38 KB, text/plain)
2017-04-16 21:52 UTC, Toralf Förster
Details
dev-ml:incremental_kernel-0.9.0:20170416-210343.log (dev-ml:incremental_kernel-0.9.0:20170416-210343.log,8.93 KB, text/plain)
2017-04-16 21:52 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,441.00 KB, text/plain)
2017-04-16 21:52 UTC, Toralf Förster
Details
environment (environment,15.93 KB, text/plain)
2017-04-16 21:52 UTC, Toralf Förster
Details
etc.portage.tbz2 (etc.portage.tbz2,32.08 KB, application/x-bzip)
2017-04-16 21:52 UTC, Toralf Förster
Details
temp.tbz2 (temp.tbz2,7.45 KB, application/x-bzip)
2017-04-16 21:52 UTC, Toralf Förster
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Toralf Förster gentoo-dev 2017-04-16 21:52:00 UTC
Error: Files /usr/lib64/ocaml/ppx_optcomp/ppx_optcomp.cmxa
       and /usr/lib64/ocaml/stdlib.cmxa
       make inconsistent assumptions over implementation Sys
make: *** [Makefile:5: default] Error 1
 * ERROR: dev-ml/incremental_kernel-0.9.0::gentoo failed (compile phase):
 *   emake failed

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

  This is an unstable amd64 chroot image (named 13.0-abi32+64_20170407-212656) at a hardened host acting as a tinderbox.

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-5.4.0 *

Available Python interpreters, in order of preference:
  [1]   python3.4
  [2]   python3.6 (fallback)
  [3]   python2.7 (fallback)
  [4]   pypy (fallback)
Available Ruby profiles:
  [1]   ruby21 (with Rubygems) *
java-config:
The following VMs are available for generation-2:
Comment 1 Toralf Förster gentoo-dev 2017-04-16 21:52:03 UTC
Created attachment 470186 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2017-04-16 21:52:06 UTC
Created attachment 470188 [details]
dev-ml:incremental_kernel-0.9.0:20170416-210343.log
Comment 3 Toralf Förster gentoo-dev 2017-04-16 21:52:09 UTC
Created attachment 470190 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2017-04-16 21:52:12 UTC
Created attachment 470192 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2017-04-16 21:52:15 UTC
Created attachment 470194 [details]
etc.portage.tbz2
Comment 6 Toralf Förster gentoo-dev 2017-04-16 21:52:18 UTC
Created attachment 470196 [details]
temp.tbz2
Comment 7 Alexis Ballier gentoo-dev 2017-04-17 08:37:38 UTC
this should have fixed it too:

commit ab570ec1e761c8a33b3a8d7197c7cf5cb415ef62
Author: Alexis Ballier <aballier@gentoo.org>
Date:   Sun Apr 16 21:35:19 2017 +0200

    dev-ml/ppx_optcomp: add missing dev-lang/ocaml:= dep, bug #615768