blob: df578ff61dbf68c4b8785d9fc6d5efa33aa6dd7e (
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
|
# Created by: Li-Wen Hsu <lwhsu@FreeBSD.org>
# $FreeBSD$
PORTNAME= stp
PORTVERSION= 1436
PORTREVISION= 1
CATEGORIES= math
MASTER_SITES= http://intara.arrowdodger.ru/
MAINTAINER= 6yearold@gmail.com
COMMENT= 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 tar:xz
USE_PERL5= build
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
CMAKE_ARGS+= -DFL_LIBRARY=${LOCALBASE}/lib/libfl.a \
-DFLEX_INCLUDE_DIR=${LOCALBASE}/include/flex \
-DFLEX_EXECUTABLE=${LOCALBASE}/bin/flex
.endif
.include <bsd.port.post.mk>
|
