blob: 426e951f4c7273e25a9aa479cc900776193735d9 (
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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
|
# $FreeBSD$
PORTNAME= cvc4
PORTVERSION= 1.5
CATEGORIES= math java
MASTER_SITES= https://cvc4.cs.stanford.edu/downloads/builds/src/
MAINTAINER= greg@unrelenting.technology
COMMENT= Automatic theorem prover for SMT (Satisfiability Modulo Theories)
LICENSE= BSD3CLAUSE
LICENSE_FILE= ${WRKSRC}/COPYING
LIB_DEPENDS= libantlr3c.so:devel/libantlr3c \
libboost_system.so:devel/boost-libs
BUILD_DEPENDS= gexpr:sysutils/coreutils \
bash:shells/bash \
antlr3:devel/antlr3
USES= compiler:c++11-lang pkgconfig gmake libtool shebangfix localbase
USE_JAVA= yes
JAVA_BUILD= yes
GNU_CONFIGURE= yes
CONFIGURE_ARGS+= --disable-dependency-tracking \
--with-swig=${LOCALBASE}/bin/swig3.0 \
ANTLR=${LOCALBASE}/bin/antlr3
CONFIGURE_SHELL= ${LOCALBASE}/bin/bash
USE_LDCONFIG= yes
SHEBANG_FILES= src/mk* src/theory/mk* src/base/mk* src/expr/mk* src/options/mk* test/regress/run_regression
OPTIONS_DEFINE= JAVA READLINE DEBUG
OPTIONS_RADIO= NUMLIB
OPTIONS_RADIO_NUMLIB= GMP CLN
OPTIONS_DEFAULT= READLINE GMP
OPTIONS_SUB= yes
GMP_DESC= Use GMP numeric library
CLN_DESC= Use CLN numeric library (disables portfolio mode)
JAVA_CONFIGURE_ON= --enable-language-bindings=c,c++,java \
JAVA_CPPFLAGS="-I${JAVA_HOME}/include -I${JAVA_HOME}/include/freebsd" \
JAVAC=${JAVAC} JAVAH=${JAVAH} JAR=${JAR}
JAVA_CONFIGURE_OFF= --enable-language-bindings=c,c++
JAVA_BUILD_DEPENDS= swig3.0:devel/swig30
READLINE_CONFIGURE_WITH= readline
READLINE_USES= readline
GMP_CONFIGURE_WITH= gmp
GMP_CONFIGURE_ON= --with-portfolio
GMP_LIB_DEPENDS= libgmp.so:math/gmp \
libboost_thread.so:devel/boost-libs
# note: CVC4 already depends on boost-libs, so portfolio mode is "free" in terms of pkg dependencies
CLN_CONFIGURE_WITH= cln
CLN_LIB_DEPENDS= libcln.so:math/cln \
libgmp.so:math/gmp
DEBUG_CONFIGURE_ON= --with-build=debug
DEBUG_CONFIGURE_OFF= --with-build=production
DEBUG_INSTALL_TARGET_OFF= install-strip
post-patch:
${REINPLACE_CMD} -e 's|expr |gexpr |g' ${WRKSRC}/src/options/mkoptions
.include <bsd.port.options.mk>
.if ${PORT_OPTIONS:MREADLINE} || ${PORT_OPTIONS:MCLN}
LICENSE= GPLv3
CONFIGURE_ARGS+= --enable-gpl
.endif
.include <bsd.port.mk>
|
