840107 – dev-ml/dune does not install on systems with 'split-usr' USE flag masked

Bug 840107 - dev-ml/dune does not install on systems with 'split-usr' USE flag masked

Summary: dev-ml/dune does not install on systems with 'split-usr' USE flag masked

Status:	RESOLVED FIXED

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	Current packages (show other bugs)
Hardware:	All Linux

Importance:	Normal normal (vote)
Assignee:	Gentoo Team for the ML programming language family

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:	usrmerge, usrmerge-fixes
	Show dependency tree

Reported:	2022-04-22 11:39 UTC by Kai-Chun Ning
Modified:	2023-03-11 14:06 UTC (History)
CC List:	1 user (show)

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

Attachments
patched ebuild (dune-2.9.3-r2.ebuild,1.44 KB, text/plain) 2022-04-22 11:39 UTC, Kai-Chun Ning	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 Kai-Chun Ning 2022-04-22 11:39:30 UTC

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.