Summary: |
dev-ml/dune does not install on systems with 'split-usr' USE flag masked |
Product: |
Gentoo Linux
|
Reporter: |
Kai-Chun Ning <kaichun.ning> |
Component: |
Current packages | Assignee: |
Gentoo Team for the ML programming language family <ml> |
Status: |
RESOLVED
FIXED
|
|
|
Severity: |
normal
|
CC: |
gienah
|
Priority: |
Normal
|
|
|
Version: |
unspecified | |
|
Hardware: |
All | |
|
OS: |
Linux | |
|
See Also: |
https://bugs.gentoo.org/show_bug.cgi?id=774243
|
Whiteboard: |
|
Package list:
|
|
Runtime testing required:
|
---
|
Bug Depends on: |
|
|
|
Bug Blocks: |
690294
|
|
|
Attachments: |
patched ebuild
|
Created attachment 772835 [details] patched ebuild The issue has been reported in bug No. 774243. In short the current ebuild does not take systems with merged /usr into account. A patched ebuild is included, which handles both cases.