From 85392e81efe42d52eacdc3ba632775cf2f24fb87 Mon Sep 17 00:00:00 2001 From: Matt Turner Date: Sat, 8 Apr 2023 21:32:14 -0400 Subject: package.use: Disable z3 --- base/etc/portage/package.use/clang | 1 - base/etc/portage/package.use/x86 | 1 - 2 files changed, 2 deletions(-) (limited to 'base/etc/portage/package.use') 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 -- cgit v1.2.3