Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 607780 - dev-ml/ppx_assert-113.33.03 : make inconsistent assumptions over implementation Ppx_type_conv
Summary: dev-ml/ppx_assert-113.33.03 : make inconsistent assumptions over imple...
Status: RESOLVED DUPLICATE of bug 449094
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Team for the ML programming language family
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2017-01-31 09:13 UTC by Toralf Förster
Modified: 2017-01-31 09:31 UTC (History)
0 users

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


Attachments
emerge-info.txt (emerge-info.txt,5.64 KB, text/plain)
2017-01-31 09:13 UTC, Toralf Förster
Details
dev-ml:ppx_assert-113.33.03:20170131-025143.log (dev-ml:ppx_assert-113.33.03:20170131-025143.log,12.97 KB, text/plain)
2017-01-31 09:13 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,309.99 KB, text/plain)
2017-01-31 09:13 UTC, Toralf Förster
Details
environment (environment,90.13 KB, text/plain)
2017-01-31 09:13 UTC, Toralf Förster
Details
etc.portage.tbz2 (etc.portage.tbz2,18.67 KB, application/x-bzip)
2017-01-31 09:13 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-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 ***