Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 637000 - dev-ml/incremental_kernel-0.9.0 : make inconsistent assumptions over implementation Stdio__Out_channel
Summary: dev-ml/incremental_kernel-0.9.0 : make inconsistent assumptions over impleme...
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-11-09 18:34 UTC by Toralf Förster
Modified: 2017-11-10 16:51 UTC (History)
0 users

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


Attachments
emerge-info.txt (emerge-info.txt,16.57 KB, text/plain)
2017-11-09 18:34 UTC, Toralf Förster
Details
dev-ml:incremental_kernel-0.9.0:20171109-035812.log (dev-ml:incremental_kernel-0.9.0:20171109-035812.log,7.17 KB, text/plain)
2017-11-09 18:34 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,262.12 KB, text/plain)
2017-11-09 18:34 UTC, Toralf Förster
Details
environment (environment,16.93 KB, text/plain)
2017-11-09 18:34 UTC, Toralf Förster
Details
etc.portage.tbz2 (etc.portage.tbz2,20.87 KB, application/x-bzip)
2017-11-09 18:34 UTC, Toralf Förster
Details
temp.tbz2 (temp.tbz2,7.52 KB, application/x-bzip)
2017-11-09 18:34 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-11-09 18:34:23 UTC
Error: Files /usr/lib64/ocaml/ppx_driver/ppx_driver.cmxa
       and /usr/lib64/ocaml/stdio/stdio.cmxa
       make inconsistent assumptions over implementation Stdio__Out_channel
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 at a tinderbox (==build bot)
  name: 13.0-systemd_test_20171031-164654

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

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

Available Python interpreters, in order of preference:
  [1]   python3.4
  [2]   python3.6 (fallback)
  [3]   python2.7 (fallback)
  [4]   pypy3 (fallback)
  [5]   pypy (fallback)




emerge -qpv dev-ml/incremental_kernel
[ebuild  N    ] dev-ml/incremental_kernel-0.9.0
Comment 1 Toralf Förster gentoo-dev 2017-11-09 18:34:26 UTC
Created attachment 503362 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2017-11-09 18:34:29 UTC
Created attachment 503364 [details]
dev-ml:incremental_kernel-0.9.0:20171109-035812.log
Comment 3 Toralf Förster gentoo-dev 2017-11-09 18:34:32 UTC
Created attachment 503366 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2017-11-09 18:34:34 UTC
Created attachment 503368 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2017-11-09 18:34:37 UTC
Created attachment 503370 [details]
etc.portage.tbz2
Comment 6 Toralf Förster gentoo-dev 2017-11-09 18:34:40 UTC
Created attachment 503372 [details]
temp.tbz2
Comment 7 Larry the Git Cow gentoo-dev 2017-11-10 16:51:07 UTC
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cb5d8afb850f7ffb21156cc0a0ffe32903b01588

commit cb5d8afb850f7ffb21156cc0a0ffe32903b01588
Author:     Alexis Ballier <aballier@gentoo.org>
AuthorDate: 2017-11-10 16:50:41 +0000
Commit:     Alexis Ballier <aballier@gentoo.org>
CommitDate: 2017-11-10 16:50:58 +0000

    dev-ml/ppx_driver: unfold transitive := dep on stdio that we are not able to handle properly.
    
    Closes: https://bugs.gentoo.org/637000
    Package-Manager: Portage-2.3.13, Repoman-2.3.4

 .../ppx_driver/{ppx_driver-0.9.1.ebuild => ppx_driver-0.9.1-r1.ebuild}   | 1 +
 1 file changed, 1 insertion(+)