svn commit: r475146 - head/security/klee

[Yuri Victorovich]

Author: yuri
Date: Mon Jul 23 05:28:54 2018
New Revision: 475146
URL: https://svnweb.freebsd.org/changeset/ports/475146

Log:
  security/klee: arrowd at FreeBSD.org takes maintainership
  
  The original submitter gave up on the klee port.
  
  Also update COMMENT and move -DFREEBSD_STP_STATIC_LIBRARY to the STP option section.
  
  PR:		219150
  Requested by:	arrowd (maintainership change)

Modified:
  head/security/klee/Makefile

Modified: head/security/klee/Makefile
==============================================================================
--- head/security/klee/Makefile	Mon Jul 23 04:51:11 2018	(r475145)
+++ head/security/klee/Makefile	Mon Jul 23 05:28:54 2018	(r475146)
@@ -6,8 +6,8 @@ DISTVERSION=	1.4.0-191
 DISTVERSIONSUFFIX=	-g79ac709
 CATEGORIES=	security devel
 
-MAINTAINER=	itbot at bk.ru
-COMMENT=	Symbolic virtual machine built on top of the LLVM
+MAINTAINER=	arrowd at FreeBSD.org
+COMMENT=	Symbolic virtual machine built on top of LLVM
 
 LICENSE=	NCSA
 LICENSE_FILE=	${WRKSRC}/LICENSE.TXT
@@ -24,8 +24,7 @@ USE_LDCONFIG=	yes
 
 CMAKE_OFF=	ENABLE_POSIX_RUNTIME ENABLE_UNIT_TESTS ENABLE_SYSTEM_TESTS
 CMAKE_ARGS=	-DLLVM_CONFIG_BINARY=${LOCALBASE}/bin/llvm-config${LLVM_VERSION} \
-		-DMAKE_BINARY=${LOCALBASE}/bin/gmake \
-		-DFREEBSD_STP_STATIC_LIBRARY:STRING=${LOCALBASE}/lib/libstp.a
+		-DMAKE_BINARY=${LOCALBASE}/bin/gmake
 
 OPTIONS_DEFINE=		TCMALLOC
 OPTIONS_SINGLE=		SOLVER
@@ -44,6 +43,7 @@ Z3_RUN_DEPENDS=		z3:math/z3
 
 STP_DESC=		STP SMT solver
 STP_CMAKE_BOOL=		ENABLE_SOLVER_STP
+STP_CMAKE_ON=		-DFREEBSD_STP_STATIC_LIBRARY:STRING=${LOCALBASE}/lib/libstp.a
 STP_BUILD_DEPENDS=	stp>0:math/stp
 
 .include <bsd.port.mk>