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>