|
Lines 1-25
Link Here
|
| 1 |
# Created by: Li-Wen Hsu <lwhsu@FreeBSD.org> |
1 |
# Created by: Li-Wen Hsu <lwhsu@FreeBSD.org> |
| 2 |
# $FreeBSD$ |
2 |
# $FreeBSD$ |
| 3 |
|
3 |
|
| 4 |
PORTNAME= stp |
4 |
PORTNAME= stp |
| 5 |
PORTVERSION= 1436 |
5 |
PORTREVISION= 1 |
| 6 |
PORTREVISION= 8 |
6 |
PORTVERSION= 2.3.1 |
| 7 |
CATEGORIES= math |
7 |
CATEGORIES= math |
| 8 |
MASTER_SITES= http://intara.arrowdodger.ru/ |
|
|
| 9 |
|
8 |
|
| 10 |
MAINTAINER= 6yearold@gmail.com |
9 |
MAINTAINER= 6yearold@gmail.com |
| 11 |
COMMENT= Decision Procedure for Bitvectors and Arrays |
10 |
COMMENT= Decision Procedure for Bitvectors and Arrays |
| 12 |
|
11 |
|
| 13 |
LICENSE= MIT |
12 |
USE_GITHUB= yes |
|
|
13 |
GH_TAGNAME= 15943d7 |
| 14 |
|
14 |
|
|
|
15 |
LICENSE= MIT |
| 16 |
LICENSE_FILES= ${WRKSRC}/LICENSE |
| 17 |
|
| 15 |
BROKEN_aarch64= fails to compile: undefined reference to sbrk |
18 |
BROKEN_aarch64= fails to compile: undefined reference to sbrk |
| 16 |
BROKEN_powerpc64= fails to compile: main.cpp.o: undefined reference to boost::program_options::error_with_option_name::get_canonical_option_name() |
19 |
BROKEN_powerpc64= fails to compile: main.cpp.o: undefined reference to boost::program_options::error_with_option_name::get_canonical_option_name() |
| 17 |
|
20 |
|
| 18 |
LIB_DEPENDS= libboost_program_options.so:devel/boost-libs \ |
21 |
LIB_DEPENDS= libboost_program_options.so:devel/boost-libs \ |
| 19 |
libboost_system.so:devel/boost-libs |
22 |
libboost_system.so:devel/boost-libs |
|
|
23 |
BUILD_DEPENDS= minisat:math/minisat |
| 24 |
RUN_DEPENDS= minisat:math/minisat |
| 20 |
|
25 |
|
| 21 |
USES= bison:build cmake:noninja perl5 tar:xz |
26 |
USES= bison:build cmake:noninja perl5 |
| 22 |
USE_PERL5= build |
27 |
USE_PERL5= build |
| 23 |
CMAKE_ARGS= -DFL_LIBRARY=/usr/lib/libfl.a |
28 |
CMAKE_ARGS= -DBUILD_SHARED_LIBS=true |
| 24 |
|
29 |
|
|
|
30 |
post-install: |
| 31 |
${MV} ${STAGEDIR}${PREFIX}/bin/stp-2.1.2 ${STAGEDIR}${PREFIX}/bin/stp |
| 25 |
.include <bsd.port.mk> |
32 |
.include <bsd.port.mk> |