Date: Thu, 1 Sep 2022 04:12:37 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 82f91c596b39 - main - math/lean: Update 3.47.0 -> 3.48.0; Add options TCMALLOC, THREADS Message-ID: <202209010412.2814CbrQ037385@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=82f91c596b3968e85de769e171453297c9c292cd commit 82f91c596b3968e85de769e171453297c9c292cd Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2022-09-01 04:10:41 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2022-09-01 04:12:35 +0000 math/lean: Update 3.47.0 -> 3.48.0; Add options TCMALLOC, THREADS Also fix minor non-FreeBSD compatible code. --- math/lean/Makefile | 14 +++++++++++++- math/lean/distinfo | 8 +++++--- 2 files changed, 18 insertions(+), 4 deletions(-) diff --git a/math/lean/Makefile b/math/lean/Makefile index 4bb9c2592c6b..055dd155831e 100644 --- a/math/lean/Makefile +++ b/math/lean/Makefile @@ -1,8 +1,11 @@ PORTNAME= lean DISTVERSIONPREFIX= v -DISTVERSION= 3.47.0 +DISTVERSION= 3.48.0 CATEGORIES= math +PATCH_SITES= https://github.com/${GH_ACCOUNT}/${GH_PROJECT}/commit/ +PATCHFILES= 5eecaa0b9c860858372a22ab242566671907c913.patch:-p2 + MAINTAINER= yuri@FreeBSD.org COMMENT= Theorem prover @@ -21,6 +24,15 @@ WRKSRC_SUBDIR= src CMAKE_OFF= BUILD_TESTING CMAKE_TESTING_ON= BUILD_TESTING +OPTIONS_DEFINE= TCMALLOC THREADS +OPTIONS_DEFAULT= TCMALLOC THREADS + +TCMALLOC_DESC= Use tcmalloc from google-perftools as memory allocator +TCMALLOC_CMAKE_BOOL= TCMALLOC +TCMALLOC_LIB_DEPENDS= libtcmalloc.so:devel/google-perftools + +THREADS_CMAKE_BOOL= MULTI_THREAD + post-install: @${FIND} ${STAGEDIR}${PREFIX} -type d -empty -delete diff --git a/math/lean/distinfo b/math/lean/distinfo index e0eb5a852253..1d785049667c 100644 --- a/math/lean/distinfo +++ b/math/lean/distinfo @@ -1,3 +1,5 @@ -TIMESTAMP = 1661720611 -SHA256 (leanprover-community-lean-v3.47.0_GH0.tar.gz) = 2655f9530aa38caa4468870add4ca32381af03bfde55282ff680998d494c5d70 -SIZE (leanprover-community-lean-v3.47.0_GH0.tar.gz) = 1917990 +TIMESTAMP = 1662004177 +SHA256 (leanprover-community-lean-v3.48.0_GH0.tar.gz) = 07e42b5b040825b6fc2b320784541e1dcc94d189db1ef9f51573ec3eaec74727 +SIZE (leanprover-community-lean-v3.48.0_GH0.tar.gz) = 1918012 +SHA256 (5eecaa0b9c860858372a22ab242566671907c913.patch) = 971765311b28bfc850803f355e9607dee5aa537565d24ffdc52562b6d874e99a +SIZE (5eecaa0b9c860858372a22ab242566671907c913.patch) = 3218
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202209010412.2814CbrQ037385>