blob: 566e16cba61ae57866e99c235b0dfe61362c7bfe (
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
|
PORTNAME= z3
DISTVERSION= 4.15.3.0
CATEGORIES= math
MASTER_SITES= https://github.com/Z3Prover/z3/releases/download/${PORTNAME}-${DISTVERSION:R}/
DISTNAME= ${PORTNAME}_solver-${DISTVERSION}
MAINTAINER= arrowd@FreeBSD.org
COMMENT= Z3 Theorem Prover
WWW= https://github.com/Z3Prover/z3
LICENSE= MIT
LICENSE_FILE= ${WRKSRC}/LICENSE.txt
USES= cmake compiler:c++20-lang localbase:ldflags
CMAKE_ARGS= -DCMAKE_INSTALL_PKGCONFIGDIR=${PREFIX}/libdata/pkgconfig
CMAKE_OFF= Z3_ENABLE_EXAMPLE_TARGETS
WRKSRC_SUBDIR= core
OPTIONS_DEFINE= GMP
OPTIONS_SUB= yes
GMP_LIB_DEPENDS= libgmp.so:math/gmp
GMP_CMAKE_BOOL= Z3_USE_LIB_GMP
.include <bsd.port.mk>
|
