# $FreeBSD: head/math/cryptominisat/Makefile 467711 2018-04-18 13:57:42Z jbeich $

PORTNAME=	cryptominisat
PORTVERSION=	5.0.1
PORTREVISION=	9
CATEGORIES=	math

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

LICENSE=	MIT LGPL21
LICENSE_COMB=	multi
LICENSE_FILE_LGPL21=	${WRKSRC}/LICENSE-SCALMC

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

BROKEN_powerpc64=	fails to compile: main.cpp: undefined reference to boost::program_options::abstract_variables_map::operator[]

USE_GITHUB=	yes
GH_ACCOUNT=	msoos

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

CMAKE_ARGS=	-DNOM4RI=1 -DENABLE_PYTHON_INTERFACE=OFF

.include <bsd.port.mk>
