diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2018-12-08 16:40:28 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2018-12-08 16:45:51 +0100 |
| commit | f19f9d1a7fcb909087499a703143e237a160fdd3 (patch) | |
| tree | d39fe8467318c94fcd835d67684caeadca734d37 /profiles/base | |
| parent | sys-devel/clang: 8.0+ requires z3-4.7.1 (diff) | |
| download | gentoo-f19f9d1a7fcb909087499a703143e237a160fdd3.tar.gz gentoo-f19f9d1a7fcb909087499a703143e237a160fdd3.tar.bz2 gentoo-f19f9d1a7fcb909087499a703143e237a160fdd3.zip | |
profiles/base: Mask >=sys-devel/clang-8[z3] due to deps
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'profiles/base')
| -rw-r--r-- | profiles/base/package.use.mask | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/profiles/base/package.use.mask b/profiles/base/package.use.mask index 0bb2172a7ecd..96832a07b0af 100644 --- a/profiles/base/package.use.mask +++ b/profiles/base/package.use.mask @@ -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) |