blob: 0e148e9c4baf7ac9d915b8c07b5b951ae3e371d9 (
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
|
PORTNAME= vampire
DISTVERSIONPREFIX= v
DISTVERSION= 4.9casc2024
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
COMMENT= Automatic theorem prover
WWW= https://vprover.github.io/
LICENSE= BSD3CLAUSE
LICENSE_FILE= ${WRKSRC}/LICENCE
BROKEN_armv7= error: static_assert failed due to requirement 'sizeof(void *) == 8'
BROKEN_i386= error: static_assert failed due to requirement 'sizeof(void *) == 8'
BROKEN_powerpc= error: static_assert failed due to requirement 'sizeof(void *) == 8'
LIB_DEPENDS= libz3.so:math/z3
USES= cmake compiler:c++17-lang
USE_GITHUB= yes
GH_ACCOUNT= vprover
CMAKE_ARGS= -DCMAKE_BUILD_HOL=On # code is broken w/out this
CMAKE_ARGS+= -DZ3_DIR=${WRKSRC}/z3
LDFLAGS+= -lexecinfo
PLIST_FILES= bin/${PORTNAME}
PORTSCOUT= limit:^.*[1-9]\.[1-9].*$$ # prevent tags like sledgehammerScheds
do-install:
${INSTALL_PROGRAM} ${BUILD_WRKSRC}/bin/${PORTNAME}* ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
.include <bsd.port.mk>
|
