Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 14 Dec 2020 07:24:42 +0000 (UTC)
From:      Gleb Popov <arrowd@FreeBSD.org>
To:        ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org
Subject:   svn commit: r558077 - head/security/klee
Message-ID:  <202012140724.0BE7OgWe089719@repo.freebsd.org>

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



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