Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 561170 - dev-ml/dose3-3.3 - inconsistent assumptions over implementation ExtList
Summary: dev-ml/dose3-3.3 - inconsistent assumptions over implementation ExtList
Status: RESOLVED NEEDINFO
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: [OLD] Development (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: 2015-09-22 13:17 UTC by José Romildo Malaquias
Modified: 2015-11-02 13:21 UTC (History)
1 user (show)

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

Attachments
dev-ml:dose3-3.3:20150922-124112.log (dev-ml:dose3-3.3:20150922-124112.log,75.83 KB, text/plain)
2015-09-22 13:19 UTC, José Romildo Malaquias 		Details
The output of "emerge --info" (nada.txt,15.07 KB, text/plain)
2015-09-22 13:19 UTC, José Romildo Malaquias 		Details
The output of "emerge --info '=dev-ml/dose3-3.3::gentoo' " (nada.txt,15.46 KB, text/plain)
2015-09-22 13:21 UTC, José Romildo Malaquias 		Details
The output of "emerge -pqv '=dev-ml/dose3-3.3::gentoo' " (nada.txt,92 bytes, text/plain)
2015-09-22 13:22 UTC, José Romildo Malaquias 		Details
Output of "grep dev-ml /var/log/emerge.log" (dev-ml.log,235.86 KB, text/plain)
2015-11-02 13:21 UTC, José Romildo Malaquias 		Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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"