blob: 0c72bb9feb8baaef33bc751c2b6ce6339493f64f (
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
|
PORTNAME= yices
DISTVERSION= 2.6.2
CATEGORIES= math
MASTER_SITES= https://yices.csl.sri.com/releases/${DISTVERSION}/
DISTNAME= ${PORTNAME}-${DISTVERSION}-src
MAINTAINER= yuri@FreeBSD.org
COMMENT= SMT solver
LICENSE= GPLv3
LICENSE_FILE= ${WRKSRC}/LICENSE
BUILD_DEPENDS= gperf:devel/gperf
LIB_DEPENDS= libgmp.so:math/gmp
USES= compiler:c11 gmake localbase
GNU_CONFIGURE= yes
CONFIGURE_ARGS= --with-pic-gmp=${LOCALBASE}/lib/libgmp.so
USE_LDCONFIG= yes
MAKE_ARGS= YICES_MAKE_INCLUDE=configs/make.include.${CONFIGURE_TARGET}
CFLAGS+= -fPIC
WRKSRC= ${WRKDIR}/${PORTNAME}-${DISTVERSION}
post-install:
@${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/*
@${RM} ${STAGEDIR}${PREFIX}/lib/*.a
@cd ${STAGEDIR}${PREFIX}/lib && ${LN} -s libyices.so.2.6 libyices.so && ${LN} -s libyices.so.2.6 libyices.so.2
.include <bsd.port.mk>
|
