gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

profiles/base: Mask >=sys-devel/clang-8[z3] due to deps

Browse Source 
Signed-off-by: Michał Górny <mgorny@gentoo.org>
This commit is contained in:
Michał Górny
2018-12-08 16:40:28 +01:00
parent 6538aa0d68
commit f19f9d1a7f
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
profiles/base/package.use.mask
View File

@@ -7,6 +7,10 @@
# This file is only for generic masks. For arch-specific masks (i.e.
# mask everywhere, unmask on arch/*) use arch/base.
# Michał Górny <mgorny@gentoo.org> (08 Dec 2018)
# Requires z3-4.7.1+ that's not packaged in Gentoo.
>=sys-devel/clang-8 z3
# Michał Górny <mgorny@gentoo.org> (01 Dec 2018)
# Moved from use.mask to specific packages.
# Andreas Sturmlechner <asturm@gentoo.org> (10 May 2018)