summaryrefslogtreecommitdiff
path: root/math/vampire/Makefile
blob: b099f257de4bec52e4c225a57d7de71fa6284635 (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

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>