git: 281f8058caee - main - security/klee: disable on powerpc
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Wed, 11 Oct 2023 18:27:16 UTC
The branch main has been updated by pkubaj:
URL: https://cgit.FreeBSD.org/ports/commit/?id=281f8058caee59ab5627092b5f1a4fcdd0352746
commit 281f8058caee59ab5627092b5f1a4fcdd0352746
Author: Piotr Kubaj <pkubaj@FreeBSD.org>
AuthorDate: 2023-10-10 22:26:48 +0000
Commit: Piotr Kubaj <pkubaj@FreeBSD.org>
CommitDate: 2023-10-11 18:26:38 +0000
security/klee: disable on powerpc
---
security/klee/Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/security/klee/Makefile b/security/klee/Makefile
index ba47d3a19113..0abefdfa556f 100644
--- a/security/klee/Makefile
+++ b/security/klee/Makefile
@@ -10,7 +10,7 @@ WWW= https://klee.github.io/
LICENSE= NCSA
LICENSE_FILE= ${WRKSRC}/LICENSE.TXT
-NOT_FOR_ARCHS= i386
+NOT_FOR_ARCHS= i386 powerpc
BUILD_DEPENDS= gmake:devel/gmake
RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}tabulate>0:devel/py-tabulate@${PY_FLAVOR}