blob: b099f257de4bec52e4c225a57d7de71fa6284635 (
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
|
PORTNAME= vampire
DISTVERSION= 4.5.1
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
COMMENT= Automatic theorem prover
LICENSE= BSD2CLAUSE
LICENSE_FILE= ${WRKSRC}/LICENCE
USES= compiler:c++11-lang gmake
USE_GITHUB= yes
GH_ACCOUNT= vprover
ALL_TARGET= vampire_rel # do we also need the z3 target?
BINARY_ALIAS= g++=${CXX}
CXXFLAGS+= -DCHECK_LEAKS=0
MAKE_ARGS= FREEBSD_VERSION_NUMBER="${PORTVERSION}"
#MAKE_ARGS= GNUMPF=1 # This causes compillation failure, additionally GitHub failed to create the issue for this project.
PLIST_FILES= bin/${PORTNAME}
do-install:
${INSTALL_PROGRAM} ${WRKSRC}/${ALL_TARGET}* ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
.include <bsd.port.mk>
|
