Bug 561170

Summary:	dev-ml/dose3-3.3 - inconsistent assumptions over implementation ExtList
Product:	Gentoo Linux	Reporter:	José Romildo Malaquias <jrmalaq>
Component:	[OLD] Development	Assignee:	Gentoo Team for the ML programming language family <ml>
Status:	RESOLVED NEEDINFO
Severity:	normal	CC:	dev-portage
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	dev-ml:dose3-3.3:20150922-124112.log The output of "emerge --info" The output of "emerge --info '=dev-ml/dose3-3.3::gentoo' " The output of "emerge -pqv '=dev-ml/dose3-3.3::gentoo' " Output of "grep dev-ml /var/log/emerge.log"

Description José Romildo Malaquias 2015-09-22 13:17:56 UTC

When emerging dev-ml/dose3-3.3 on my ~amd64 system I am getting the error:

Error: Files /usr/lib64/ocaml/cudf/cudf.cmxa
       and /usr/lib64/ocaml/extlib/extLib.cmxa
       make inconsistent assumptions over implementation ExtList

Reproducible: Always

Comment 1 José Romildo Malaquias 2015-09-22 13:19:00 UTC

Created attachment 412564 [details]
dev-ml:dose3-3.3:20150922-124112.log

Comment 2 José Romildo Malaquias 2015-09-22 13:19:30 UTC

Created attachment 412566 [details]
The output of "emerge --info"

Comment 3 José Romildo Malaquias 2015-09-22 13:21:35 UTC

Created attachment 412568 [details]
The output of "emerge --info '=dev-ml/dose3-3.3::gentoo' "

Comment 4 José Romildo Malaquias 2015-09-22 13:22:46 UTC

Created attachment 412570 [details]
The output of "emerge -pqv '=dev-ml/dose3-3.3::gentoo' "

Comment 5 José Romildo Malaquias 2015-09-24 19:08:08 UTC

After unmerging dev-ml/extlib, dev-ml/cudf and dev-ml/dose3 and then emerging dev-ml/extlib and dev-ml/cudf with MAKEOPTS=-j1, dose3 emerged successfully.

Comment 6 Alexis Ballier gentoo-dev

2015-10-09 08:57:15 UTC

well, this sounds like a bug in your PM:
dev-ml/cudf has: dev-ml/extlib:= dep
dev-ml/dose3 has: dev-ml/cudf:= and dev-ml/extlib:= dep

you updated extlib, with a changed subslot, and your PM should have rebuilt dev-ml/cudf first, then dev-ml/dose3

@portage team: any light on this?

Comment 7 Zac Medico gentoo-dev

2015-10-09 16:09:45 UTC

We should check the emerge history for dev-ml packages:

grep dev-ml /var/log/emerge.log > dev-ml.log

Comment 8 Alexis Ballier gentoo-dev

2015-11-02 12:06:48 UTC

(In reply to Zac Medico from comment #7)
> We should check the emerge history for dev-ml packages:
> 
> grep dev-ml /var/log/emerge.log > dev-ml.log

Comment 9 José Romildo Malaquias 2015-11-02 13:21:05 UTC

(In reply to Zac Medico from comment #7)
> We should check the emerge history for dev-ml packages:
> 
> grep dev-ml /var/log/emerge.log > dev-ml.log

I am attaching the output of this command. But as I have said in comment #5, this issue has gone.

Comment 10 José Romildo Malaquias 2015-11-02 13:21:52 UTC

Created attachment 415940 [details]
Output of "grep dev-ml /var/log/emerge.log"