1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-22 04:17:44 +00:00
freebsd-ports/math/lean/Makefile
Yuri Victorovich 3137a9b424 math/lean: Update 3.18.4 -> 3.19.0
Reported by:	portscout
2020-08-27 19:00:09 +00:00

35 lines
752 B
Makefile

# $FreeBSD$
PORTNAME= lean
DISTVERSIONPREFIX= v
DISTVERSION= 3.19.0
CATEGORIES= math
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
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>