diff options
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/arch/amd64-fbsd/package.use.mask | 4 | ||||
| -rw-r--r-- | profiles/arch/arm64/package.use.mask | 4 |
2 files changed, 8 insertions, 0 deletions
diff --git a/profiles/arch/amd64-fbsd/package.use.mask b/profiles/arch/amd64-fbsd/package.use.mask index ec4e5b7ad705..ef07b2f1d642 100644 --- a/profiles/arch/amd64-fbsd/package.use.mask +++ b/profiles/arch/amd64-fbsd/package.use.mask @@ -1,6 +1,10 @@ # Copyright 1999-2019 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 +# Michał Górny <mgorny@gentoo.org> (20 Mar 2019) +# Z3 fails to link on FreeBSD but linker produces no error messages. +sys-devel/clang z3 + # Michał Górny <mgorny@gentoo.org> (22 Jan 2019) # Missing keywords on dependencies. app-arch/libarchive zstd diff --git a/profiles/arch/arm64/package.use.mask b/profiles/arch/arm64/package.use.mask index 0095e26e090e..4e23c66dc1ad 100644 --- a/profiles/arch/arm64/package.use.mask +++ b/profiles/arch/arm64/package.use.mask @@ -1,6 +1,10 @@ # Copyright 1999-2019 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 +# Michał Górny <mgorny@gentoo.org> (20 Mar 2019) +# sci-mathematics/z3 is not keyworded here. +sys-devel/clang z3 + # Roy Bamford <neddyseagoon@gentoo.org> (19 Mar 2019) # Let kde-apps/akonadi use mysql. dev-qt/qtsql -mysql |