From nobody Thu Sep 1 04:12:37 2022 X-Original-To: dev-commits-ports-all@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4MJ71K6g6dz4b7Ym; Thu, 1 Sep 2022 04:12:37 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4MJ71K5l8Hz3C0S; Thu, 1 Sep 2022 04:12:37 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1662005557; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=Ve6RsIPiOs2Dg7XG8F6aLBUDNwTHhH6P0g9FD/kFghI=; b=VzFRdJ4yuQlkE46Cl2hdRJVCd2ZcGepT4jOBb9PDy8O7HeDD3DEN+B1KrUMh1hC8qrPhWA 5iMzTz/soCNtr2HpDmNpzm58m1uTAQlkaWb7rBgzC5C8gyyjfHb0B+je/OreZl45pcWN5L kTU7gtRFimXe7JP2t3ic34QGv9tc3QNuLiqTNa8iiJFNFCJTxrOzQ5TNdAEU1xLAMOMgvh WXxiRRLn+bEmF9QQIdGSx9c+2HJn9RZ9lpb0uqBLBTH3wT4jHFosEGvrK8fuRxCLofwYZH fbXk0eL2swGh0i+geTtgU4K9rg+ucReIFOyXQhCvpOxA/P/GF69kxPjAxsRp9w== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4MJ71K4kZqzM1F; Thu, 1 Sep 2022 04:12:37 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 2814CbAU037386; Thu, 1 Sep 2022 04:12:37 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 2814CbrQ037385; Thu, 1 Sep 2022 04:12:37 GMT (envelope-from git) Date: Thu, 1 Sep 2022 04:12:37 GMT Message-Id: <202209010412.2814CbrQ037385@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: 82f91c596b39 - main - math/lean: Update 3.47.0 -> 3.48.0; Add options TCMALLOC, THREADS List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-all@freebsd.org X-BeenThere: dev-commits-ports-all@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 82f91c596b3968e85de769e171453297c9c292cd Auto-Submitted: auto-generated ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1662005557; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=Ve6RsIPiOs2Dg7XG8F6aLBUDNwTHhH6P0g9FD/kFghI=; b=bcHP3voEvPBQRVVZj5Iz+Q4NBWNG0c8YOQ3pLwZ7y+Zox7E1rBEn3HBWKwosSRbxa/kAXk rGzdd1Lom8BQnJ/OldmMyQ6WwCg/TcKVaAeRZ9gaf8My9zbsYvAdii+P0l9foaUinDjFuj 3MBj5cPcLdH6N4yzB5EJRDDf7fXp1pRZNx0C78mmzfgc72/b6FpXO0H34jwW/0hUzlOwWj 7taS9wzSfGsifcqS7vjLDTVncRHR1A1UQoIBayxOytdiTY32nv5jpAos/MivIX+Y33j5Ax Pt62LZ7EKTNxgdThJARyuEMbw/j07+7YTjEgrz3ZtvgskPFOgsMWN/ga0CSQiA== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1662005557; a=rsa-sha256; cv=none; b=nbEiaCYFgo+AIfV4tV81DuUid7x1zJnMBats1gjK+HwFoHZfwL4fzaAnyNGtdT3B0Zteet 7ciHyTrRQWXWcQMs/2bXdmSYXLml3q6cxjpokDOii9ZRvnfV7XbA6tZ5CHw55rqTps/79I KTjAqfdxiuZJxeeQeNcyPwAGtuDq1H9FP+Smywc1z0o6t0ZPyQMOYFADbz/0D+KNRDO8vD ji0BcbNSCxMf31pS25gfHSnJ41eyTv6bQuNQxgha7MyFWKOB/6iZPMr1aIFbXBmoXLHhS+ wW9Gy59wKPyEKiB0KkTOSZEos2Vt/8aVd+CSazp+t5CkyK/HaxYFdDUm7bu0+A== ARC-Authentication-Results: i=1; mx1.freebsd.org; none X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=82f91c596b3968e85de769e171453297c9c292cd commit 82f91c596b3968e85de769e171453297c9c292cd Author: Yuri Victorovich AuthorDate: 2022-09-01 04:10:41 +0000 Commit: Yuri Victorovich 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