bef4dc1626
CryptoMiniSat is a modern, multi-threaded, feature-rich, simplifying SAT solver, featuring over 100 configurable parameters to tune to specific need, collection of statistical data to MySQL database + javascript-based visualization of it and clean C++ and python interfaces. WWW: http://www.msoos.org/cryptominisat4/ PR: 199929 Submitted by: 6yearold@gmail.com (based on)
24 lines
533 B
Makefile
24 lines
533 B
Makefile
# $FreeBSD$
|
|
|
|
CATEGORIES= math python
|
|
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
|
|
|
|
COMMENT= Python bindings to CryptoMiniSat
|
|
|
|
LICENSE= MIT
|
|
|
|
LIB_DEPENDS= libcryptominisat4.so:${PORTSDIR}/math/cryptominisat
|
|
|
|
USES= compiler:c++11-lib python:2.7 tar:bzip2
|
|
USE_PYTHON= autoplist distutils
|
|
WRKSRC_SUBDIR= python
|
|
|
|
MASTERDIR= ${.CURDIR}/../cryptominisat
|
|
PATCHDIR= ${.CURDIR}/files
|
|
PLIST= ${.CURDIR}/pkg-plist
|
|
|
|
post-install:
|
|
${FIND} ${STAGEDIR}${PYTHONPREFIX_SITELIBDIR} -name \*.so \
|
|
-exec ${STRIP_CMD} {} +
|
|
|
|
.include "${MASTERDIR}/Makefile"
|