diff options
| author | Matt Turner <mattst88@gmail.com> | 2023-04-08 21:32:14 -0400 |
|---|---|---|
| committer | Matt Turner <mattst88@gmail.com> | 2023-04-08 21:32:14 -0400 |
| commit | 85392e81efe42d52eacdc3ba632775cf2f24fb87 (patch) | |
| tree | 5d0d96a21d2cadf7bacf74769a85335bd6d4fc31 | |
| parent | e17d1486a6314852964f851f90bebe95b0ec9684 (diff) | |
package.use: Disable z3
| -rw-r--r-- | base/etc/portage/package.use/clang | 1 | ||||
| -rw-r--r-- | base/etc/portage/package.use/x86 | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/base/etc/portage/package.use/clang b/base/etc/portage/package.use/clang index c045fab..c226d87 100644 --- a/base/etc/portage/package.use/clang +++ b/base/etc/portage/package.use/clang @@ -1,2 +1 @@ sys-devel/llvm gold ->=sys-devel/llvm-12 z3 diff --git a/base/etc/portage/package.use/x86 b/base/etc/portage/package.use/x86 index 2c756bc..efed7f6 100644 --- a/base/etc/portage/package.use/x86 +++ b/base/etc/portage/package.use/x86 @@ -113,7 +113,6 @@ net-libs/socket_wrapper abi_x86_32 net-misc/curl abi_x86_32 net-misc/networkmanager abi_x86_32 net-print/cups abi_x86_32 -sci-mathematics/z3 abi_x86_32 sys-apps/acl abi_x86_32 sys-apps/attr abi_x86_32 sys-apps/dbus abi_x86_32 |