From adfae8d22a61a08096a255fc132beea23b610932 Mon Sep 17 00:00:00 2001
From: Natanael Copa <ncopa@alpinelinux.org>
Date: Fri, 1 Jun 2018 09:28:11 +0000
Subject: [PATCH] testing/z3: disable on ppc64le

tests fails
---
 testing/z3/APKBUILD | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/testing/z3/APKBUILD b/testing/z3/APKBUILD
index bf4338b991f..79786ffc5b1 100644
--- a/testing/z3/APKBUILD
+++ b/testing/z3/APKBUILD
@@ -5,7 +5,7 @@ pkgver=4.6.0
 pkgrel=3
 pkgdesc="Theorem prover from Microsoft Research"
 url="https://github.com/Z3Prover/z3"
-arch="all !s390x"
+arch="all !s390x !ppc64le"
 license="MIT"
 depends=""
 makedepends="cmake python3"