aboutsummaryrefslogtreecommitdiffstats
path: root/testing/spin
diff options
context:
space:
mode:
authorRoberto Oliveira <robertoguimaraes8@gmail.com>2017-10-03 00:56:57 +0000
committerRoberto Oliveira <robertoguimaraes8@gmail.com>2017-10-03 00:56:57 +0000
commitfc6fef552a9dea62273c19181e8ff861ff61fac0 (patch)
tree62d5d116fb3eadb590b8a18e1efeba89e8923b01 /testing/spin
parent311bce3e71abda2f6fb353a6485435d1dece0569 (diff)
downloadaports-fc6fef552a9dea62273c19181e8ff861ff61fac0.tar.bz2
aports-fc6fef552a9dea62273c19181e8ff861ff61fac0.tar.xz
testing/spin: enable build on ppc64le
Diffstat (limited to 'testing/spin')
-rw-r--r--testing/spin/APKBUILD2
1 files changed, 1 insertions, 1 deletions
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"