svn commit: r558077 - head/security/klee
Gleb Popov
arrowd at FreeBSD.org
Mon Dec 14 07:24:42 UTC 2020
Author: arrowd
Date: Mon Dec 14 07:24:41 2020
New Revision: 558077
URL: https://svnweb.freebsd.org/changeset/ports/558077
Log:
security/klee: Do not build on i386, it is unsupported upstream.
While here, add BACKEND multigroup and move STP and Z3 options there.
Modified:
head/security/klee/Makefile
Modified: head/security/klee/Makefile
==============================================================================
--- head/security/klee/Makefile Mon Dec 14 06:32:18 2020 (r558076)
+++ head/security/klee/Makefile Mon Dec 14 07:24:41 2020 (r558077)
@@ -11,6 +11,8 @@ COMMENT= Symbolic virtual machine built on top of LLVM
LICENSE= NCSA
LICENSE_FILE= ${WRKSRC}/LICENSE.TXT
+NOT_FOR_ARCHS= i386
+
BUILD_DEPENDS= llvm-config${LLVM_DEFAULT}:devel/llvm${LLVM_DEFAULT} \
gmake:devel/gmake
# Should be a LIB_DEPEND, but hard to express in a generic manner
@@ -28,8 +30,10 @@ CMAKE_ARGS= -DLLVM_CONFIG_BINARY=${LOCALBASE}/bin/llvm
-DMAKE_BINARY=${LOCALBASE}/bin/gmake
# TODO METASMT
-OPTIONS_DEFINE= TCMALLOC Z3 STP
+OPTIONS_DEFINE= TCMALLOC
OPTIONS_DEFAULT= TCMALLOC Z3 STP
+OPTIONS_MULTI= BACKEND
+OPTIONS_MULTI_BACKEND= Z3 STP
TCMALLOC_DESC= Use tcmalloc library for memory management
TCMALLOC_CMAKE_BOOL= ENABLE_TCMALLOC
More information about the svn-ports-all
mailing list