# $FreeBSD: head/math/cryptominisat/Makefile 412348 2016-04-01 14:17:44Z mat $

PORTNAME=	cryptominisat
PORTVERSION=	4.5.3
CATEGORIES=	math

MAINTAINER=	6yearold@gmail.com
COMMENT=	General-purpose award-winning SAT solver

LICENSE=	LGPL3
LICENSE_FILE=	${WRKSRC}/LICENSE-LGPL

BUILD_DEPENDS=	xxd:editors/vim-lite # for xxd tool
LIB_DEPENDS=	libboost_program_options.so:devel/boost-libs

USE_GITHUB=	yes
GH_ACCOUNT=	msoos

USES=		cmake compiler:c++11-lib
USE_LDCONFIG=	yes

CMAKE_ARGS=	-DNOMYSQL=1 -DNOM4RI=1 -DPYTHON_EXECUTABLE=0

.include <bsd.port.mk>