blob: ab7646a7962a211476d97e45d1d1716183965ef8 (
plain) (
tree)
|
|
PORTNAME= lean
DISTVERSIONPREFIX= v
DISTVERSION= 3.29.0
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>
|
