blob: 2e26b313c21183af5180ad9401957eed39d34d04 (
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
|
PORTNAME= lean
DISTVERSIONPREFIX= v
DISTVERSION= 3.39.2
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
COMMENT= Theorem prover
LICENSE= APACHE20
LICENSE_FILE= ${WRKSRC}/../LICENSE
LIB_DEPENDS= libgmp.so:math/gmp
USES= cmake compiler:c++11-lang
USE_GITHUB= yes
GH_ACCOUNT= leanprover-community
WRKSRC_SUBDIR= src
CMAKE_OFF= BUILD_TESTING
post-install:
@${FIND} ${STAGEDIR}${PREFIX} -type d -empty -delete
do-test:
@cd ${BUILD_WRKSRC} && \
${SETENV} ${CONFIGURE_ENV} ${CMAKE_BIN} ${CMAKE_ARGS} -DBUILD_TESTING:BOOL=ON ${CMAKE_SOURCE_PATH} && \
${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS} ${ALL_TARGET} && \
${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS} test
.include <bsd.port.mk>
|
