Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 11 Oct 2023 18:27:16 GMT
From:      Piotr Kubaj <pkubaj@FreeBSD.org>
To:        ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org
Subject:   git: 281f8058caee - main - security/klee: disable on powerpc
Message-ID:  <202310111827.39BIRGVT091424@gitrepo.freebsd.org>

next in thread | raw e-mail | index | archive | help
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}



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202310111827.39BIRGVT091424>