Changeset View
Changeset View
Standalone View
Standalone View
head/math/stp/Makefile
# Created by: Li-Wen Hsu <lwhsu@FreeBSD.org> | # Created by: Li-Wen Hsu <lwhsu@FreeBSD.org> | ||||
# $FreeBSD$ | # $FreeBSD$ | ||||
PORTNAME= stp | PORTNAME= stp | ||||
DISTVERSION= 2.3.1 | DISTVERSION= 2.3.2 | ||||
PORTREVISION= 4 | |||||
PORTEPOCH= 1 | PORTEPOCH= 1 | ||||
CATEGORIES= math | CATEGORIES= math | ||||
MAINTAINER= arrowd@FreeBSD.org | MAINTAINER= arrowd@FreeBSD.org | ||||
COMMENT= Decision Procedure for Bitvectors and Arrays | COMMENT= Decision Procedure for Bitvectors and Arrays | ||||
LICENSE= MIT | LICENSE= MIT | ||||
LICENSE_FILE= ${WRKSRC}/LICENSE | LICENSE_FILE= ${WRKSRC}/LICENSE | ||||
BROKEN_aarch64= fails to compile: undefined reference to sbrk | BROKEN_aarch64= fails to compile: undefined reference to sbrk | ||||
LIB_DEPENDS= libboost_program_options.so:devel/boost-libs \ | LIB_DEPENDS= libboost_program_options.so:devel/boost-libs \ | ||||
libminisat.so:math/minisat \ | libminisat.so:math/minisat \ | ||||
libcryptominisat5.so:math/cryptominisat | libcryptominisat5.so:math/cryptominisat | ||||
USES= bison:build compiler:c++11-lang cmake perl5 python | USES= bison:build compiler:c++11-lang cmake perl5 python | ||||
USE_GITHUB= yes | USE_GITHUB= yes | ||||
USE_PERL5= build | USE_PERL5= build | ||||
USE_LDCONFIG= yes | USE_LDCONFIG= yes | ||||
post-install: | post-install: | ||||
@${MV} ${STAGEDIR}${PREFIX}/bin/stp-2.1.2 ${STAGEDIR}${PREFIX}/bin/stp | @${MV} ${STAGEDIR}${PREFIX}/bin/stp-${PORTVERSION} ${STAGEDIR}${PREFIX}/bin/stp | ||||
.include <bsd.port.mk> | .include <bsd.port.mk> |