diff options
| -rw-r--r-- | math/lean/Makefile | 14 | ||||
| -rw-r--r-- | 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 |