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

Bug 607780

Summary: dev-ml/ppx_assert-113.33.03 : make inconsistent assumptions over implementation Ppx_type_conv
Product: Gentoo Linux Reporter: Toralf Förster <toralf>
Component: Current packagesAssignee: Gentoo Team for the ML programming language family <ml>
Status: RESOLVED DUPLICATE    
Severity: normal    
Priority: Normal    
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---
Attachments: emerge-info.txt
dev-ml:ppx_assert-113.33.03:20170131-025143.log
emerge-history.txt
environment
etc.portage.tbz2

Description Toralf Förster gentoo-dev 2017-01-31 09:13:23 UTC
Error: Files /usr/lib64/ocaml/ppx_sexp_conv/ppx_sexp_conv.cmxa
       and /usr/lib64/ocaml/ppx_type_conv/ppx_type_conv.cmxa
       make inconsistent assumptions over implementation Ppx_type_conv

Command exited with code 2.


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

  This is an unstable amd64 chroot image (named 13.0-unstable_20170123-090431) at a hardened host acting as a tinderbox.

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

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

Available Python interpreters, in order of preference:
  [1]   python3.4
  [2]   python3.5 (fallback)
  [3]   python2.7 (fallback)
  [4]   pypy3 (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-01-31 09:13:26 UTC
Created attachment 461932 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2017-01-31 09:13:29 UTC
Created attachment 461934 [details]
dev-ml:ppx_assert-113.33.03:20170131-025143.log
Comment 3 Toralf Förster gentoo-dev 2017-01-31 09:13:32 UTC
Created attachment 461936 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2017-01-31 09:13:35 UTC
Created attachment 461938 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2017-01-31 09:13:38 UTC
Created attachment 461940 [details]
etc.portage.tbz2
Comment 6 Toralf Förster gentoo-dev 2017-01-31 09:14:53 UTC
and 3 more packages do fail at that image - will file separate bugs (but not more)
Comment 7 Alexis Ballier gentoo-dev 2017-01-31 09:31:34 UTC
we need transitive := deps for this one: ppx_type_conv needs to be rebuilt because ppx_driver was updated; but then ppx_sexp_conv needs to be rebuilt because ppx_sexp_conv has been rebuilt with different deps...

*** This bug has been marked as a duplicate of bug 449094 ***