Changeset View
Changeset View
Standalone View
Standalone View
head/math/cryptominisat/Makefile
# $FreeBSD$ | # $FreeBSD$ | ||||
PORTNAME= cryptominisat | PORTNAME= cryptominisat | ||||
PORTVERSION= 5.0.1 | DISTVERSION= 5.6.1 | ||||
PORTREVISION= 9 | |||||
CATEGORIES= math | CATEGORIES= math | ||||
MAINTAINER= 6yearold@gmail.com | MAINTAINER= arrowd@FreeBSD.org | ||||
COMMENT= General-purpose award-winning SAT solver | COMMENT= General-purpose award-winning SAT solver | ||||
LICENSE= MIT LGPL21 | LICENSE= MIT LGPL21 | ||||
LICENSE_COMB= multi | LICENSE_COMB= multi | ||||
LICENSE_FILE_LGPL21= ${WRKSRC}/LICENSE-SCALMC | LICENSE_FILE_LGPL21= ${WRKSRC}/LICENSE.txt | ||||
LICENSE_FILE_MIT= ${WRKSRC}/LICENSE.txt | |||||
BUILD_DEPENDS= xxd:editors/vim-console # for xxd tool | BROKEN_powerpc64= fails to compile: main.cpp: undefined reference to boost::program_options::abstract_variables_map::operator[] | ||||
LIB_DEPENDS= libboost_program_options.so:devel/boost-libs | 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[] | USES= cmake:outsource compiler:c++11-lib | ||||
USE_LDCONFIG= yes | |||||
USE_GITHUB= yes | USE_GITHUB= yes | ||||
GH_ACCOUNT= msoos | GH_ACCOUNT= msoos | ||||
USES= cmake compiler:c++11-lib | CMAKE_ON= NOM4RI | ||||
USE_LDCONFIG= yes | CMAKE_OFF= ENABLE_PYTHON_INTERFACE | ||||
CMAKE_ARGS= -DNOM4RI=1 -DENABLE_PYTHON_INTERFACE=OFF | |||||
.include <bsd.port.mk> | .include <bsd.port.mk> |