From fc6fef552a9dea62273c19181e8ff861ff61fac0 Mon Sep 17 00:00:00 2001
From: Roberto Oliveira <robertoguimaraes8@gmail.com>
Date: Tue, 3 Oct 2017 00:56:57 +0000
Subject: testing/spin: enable build on ppc64le

---
 testing/spin/APKBUILD | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/testing/spin/APKBUILD b/testing/spin/APKBUILD
index f5a0c5a329..98d7ca086c 100644
--- a/testing/spin/APKBUILD
+++ b/testing/spin/APKBUILD
@@ -6,7 +6,7 @@ _pkgver=${pkgver//./}
 pkgrel=0
 pkgdesc="Tool for formal verification of distributed software systems"
 url="http://spinroot.com/"
-arch="x86 x86_64"
+arch="x86 x86_64 ppc64le"
 license="BSD"
 depends=""
 makedepends="bison"
-- 
cgit v1.2.3