blob: 61f4683fafce7fbc9c0b46e8ce506a129fa0b202 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
# Created by: Li-Wen Hsu <lwhsu@FreeBSD.org>
# $FreeBSD$
PORTNAME= stp
PORTVERSION= 1436
CATEGORIES= math
MASTER_SITES= http://intara.arrowdodger.ru/
MAINTAINER= 6yearold@gmail.com
COMMENT= A Decision Procedure for Bitvectors and Arrays
LICENSE= MIT
LIB_DEPENDS= libboost_program_options.so:${PORTSDIR}/devel/boost-libs \
libboost_system.so:${PORTSDIR}/devel/boost-libs
USES= bison:build cmake perl5
USE_PERL5= build
USE_XZ= yes
CMAKE_ARGS= -DFL_LIBRARY=/usr/lib/libfl.a
.include <bsd.port.pre.mk>
.if (${OSVERSION} < 1000000)
BUILD_DEPENDS+=flex>=2.5.38:${PORTSDIR}/textproc/flex
.endif
.if (${OSVERSION} < 802502)
IGNORE= stp needs log2(3)
.endif
.include <bsd.port.post.mk>
|
