blob: 7a8ea8d342cadf74fd7794f4d3152d806420277b (
plain) (
tree)
|
|
PORTNAME= minisat
PORTVERSION= 2.2.1
PORTREVISION= 2
CATEGORIES= math devel
MASTER_SITES= http://highsecure.ru/distfiles/
MAINTAINER= vsevolod@FreeBSD.org
COMMENT= Minimalistic, open-source SAT solver
WWW= http://minisat.se/
LICENSE= MIT
LICENSE_FILE= ${WRKSRC}/LICENSE
USES= gmake
USE_LDCONFIG= yes
MAKE_ENV= prefix=${PREFIX} CFLAGS="-std=gnu++98"
post-install:
${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/${PORTNAME} \
${STAGEDIR}${PREFIX}/lib/libminisat.so
.include <bsd.port.mk>
|
