summaryrefslogtreecommitdiff
path: root/math/yices/Makefile
blob: 976479937b38133292485f0d3b577d84447f6dec (plain)
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

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>