From nobody Tue Jan 16 10:45:07 2024 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 4TDlyW5rSrz57Ng8; Tue, 16 Jan 2024 10:45:07 +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 4TDlyW5K0Gz4jml; Tue, 16 Jan 2024 10:45:07 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1705401907; 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=9hn7UiweFRXuH6meiAIvsa470EOJNRNoI3guL3DXiqc=; b=cPUcQKxqxhpmuUfO5WoNlvZ7PGhqXJEzwZhU2S9GiVUpYdCDyI1ffdkPCJse+NWvbH/MQO zwcdaaRpmGQOknTdynaWROAOATJZb1yv5ETTfd7W/bGG6Y5cULq/qQqZUpYG0Z82tMFXLU bvUcMjqZkRFmiLnfp3y/+zyS5+8BH0eeVNw11YB37LH6XVkbWtgQd9ONQHyqyWjw/EDN1l +t/JA2B1VHDcGDphPRztPjQv7if4lVblqplVu+ZDiEG1NPx5JNVxDpVOXwy8LlEOHSFA2S byt8qGoGTQm+N2kEhKlDSX+GxwbP5O9hjCU+JovQKmdNkiEJ1BmGxfkwinVkvg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1705401907; 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=9hn7UiweFRXuH6meiAIvsa470EOJNRNoI3guL3DXiqc=; b=t4eRolG3BLlr89WOuIpIg9P4bsvDVPzIpSAeRxXECjKOVe08Gu8V4ZxGzrAgLaphW7VCfS /SVLbhg1zeLDKXhBfRZdLf/C+BSUQyTyIEsNLAKrPDuoBXsrdn5sFyP8gWoQ+YsjJzWZYM UVVwbr2TwGeeR/I4T+p69wuzbBX3sG/cGLF2shRYbuaAX9L9GAmmmD/8EoKY+/o7O0yAXH VkVJOeXhmYhEgFT9byqcFjaGOE85XBs1A0WS9cd8cdAzdttShtyBEeMXYHeMJujyP9CMLV X6V2z5htEYVHyrwVesV9QUEFDkxw1h4/8dmfKMKnpkpdbHrPGLrTHvQgRSIrXQ== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1705401907; a=rsa-sha256; cv=none; b=kCd0c4XOcH+n1IAxndkbHtaMN15ePz5LqpDRUqtKwsmC2YKJ4q5Lgz+YUTLmelICgUbJD4 AFzNW3J146ZftZ2T5+wJafDLcHrM6JTCFmJ/1REnpHPwNPWbUmPLKSh43MEQe/+LNn6p/H qKgkuxA6bR4+80P1ShWqnU41CpWUQrnhLzI6H6ef5pG6/nJSufhSXre9pReoz8d3SgIm9Q CbmWKAMx3VEmzcuZbWcb6DGO1LLaSHMjk7bpLtotQH0IWdnXJi23S3pOxC5pG2wja/3SAc ycj1UCXCryUmGNFteybQpEZ6VFOGewYLL6hnQObFb2VUxLfn/X3o+UPUdZ4aIQ== 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 4TDlyW4GnRzcrG; Tue, 16 Jan 2024 10:45:07 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.17.1/8.17.1) with ESMTP id 40GAj7aV064730; Tue, 16 Jan 2024 10:45:07 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 40GAj7Hc064727; Tue, 16 Jan 2024 10:45:07 GMT (envelope-from git) Date: Tue, 16 Jan 2024 10:45:07 GMT Message-Id: <202401161045.40GAj7Hc064727@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: d78496a375fe - main - math/leangz: New port: Lean 4 .olean file (de)compressor 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: d78496a375fe1744b7cc6a7e45d35bdef5b6d3a1 Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=d78496a375fe1744b7cc6a7e45d35bdef5b6d3a1 commit d78496a375fe1744b7cc6a7e45d35bdef5b6d3a1 Author: Yuri Victorovich AuthorDate: 2024-01-16 07:09:14 +0000 Commit: Yuri Victorovich CommitDate: 2024-01-16 10:45:00 +0000 math/leangz: New port: Lean 4 .olean file (de)compressor --- math/Makefile | 1 + math/leangz/Makefile | 67 ++++++++++++++++++++++++++++++++++++++++ math/leangz/distinfo | 85 +++++++++++++++++++++++++++++++++++++++++++++++++++ math/leangz/pkg-descr | 1 + 4 files changed, 154 insertions(+) diff --git a/math/Makefile b/math/Makefile index fa9742bb93a7..e802427bbf6e 100644 --- a/math/Makefile +++ b/math/Makefile @@ -438,6 +438,7 @@ SUBDIR += ldouble SUBDIR += lean SUBDIR += lean4 + SUBDIR += leangz SUBDIR += lemon SUBDIR += levmar SUBDIR += lib2geom diff --git a/math/leangz/Makefile b/math/leangz/Makefile new file mode 100644 index 000000000000..a2712df8e959 --- /dev/null +++ b/math/leangz/Makefile @@ -0,0 +1,67 @@ +PORTNAME= leangz +DISTVERSIONPREFIX= v +DISTVERSION= 0.1.10 +CATEGORIES= math + +MAINTAINER= yuri@FreeBSD.org +COMMENT= Lean 4 .olean file (de)compressor +WWW= https://github.com/digama0/leangz + +#LICENSE= # unknown, see https://github.com/digama0/leangz/issues/1 + +LIB_DEPENDS= libzstd.so:archivers/zstd + +USES= cargo + +USE_GITHUB= yes +GH_ACCOUNT= digama0 + +CARGO_CRATES= adler-1.0.2 \ + ahash-0.8.3 \ + allocator-api2-0.2.15 \ + autocfg-1.1.0 \ + byteorder-1.4.3 \ + cc-1.0.79 \ + cfg-if-1.0.0 \ + crc32fast-1.3.2 \ + crossbeam-channel-0.5.8 \ + crossbeam-deque-0.8.3 \ + crossbeam-epoch-0.9.15 \ + crossbeam-utils-0.8.16 \ + either-1.8.1 \ + flate2-1.0.26 \ + hashbrown-0.14.0 \ + hermit-abi-0.2.6 \ + itoa-1.0.8 \ + jobserver-0.1.26 \ + libc-0.2.146 \ + memmap2-0.9.0 \ + memoffset-0.9.0 \ + miniz_oxide-0.7.1 \ + num_cpus-1.15.0 \ + once_cell-1.18.0 \ + pkg-config-0.3.27 \ + proc-macro2-1.0.70 \ + quote-1.0.28 \ + rayon-1.7.0 \ + rayon-core-1.11.0 \ + ryu-1.0.14 \ + scopeguard-1.1.0 \ + serde-1.0.166 \ + serde_json-1.0.99 \ + syn-2.0.39 \ + unicode-ident-1.0.9 \ + version_check-0.9.4 \ + zerocopy-0.7.29 \ + zerocopy-derive-0.7.29 \ + zstd-0.13.0 \ + zstd-safe-7.0.0 \ + zstd-sys-2.0.8+zstd.1.5.5 + +PLIST_FILES= bin/${PORTNAME} \ + bin/leantar + +post-install: + @cd ${STAGEDIR}${PREFIX} && ${STRIP_CMD} ${PLIST_FILES} + +.include diff --git a/math/leangz/distinfo b/math/leangz/distinfo new file mode 100644 index 000000000000..beae0da93f2d --- /dev/null +++ b/math/leangz/distinfo @@ -0,0 +1,85 @@ +TIMESTAMP = 1705388361 +SHA256 (rust/crates/adler-1.0.2.crate) = f26201604c87b1e01bd3d98f8d5d9a8fcbb815e8cedb41ffccbeb4bf593a35fe +SIZE (rust/crates/adler-1.0.2.crate) = 12778 +SHA256 (rust/crates/ahash-0.8.3.crate) = 2c99f64d1e06488f620f932677e24bc6e2897582980441ae90a671415bd7ec2f +SIZE (rust/crates/ahash-0.8.3.crate) = 42416 +SHA256 (rust/crates/allocator-api2-0.2.15.crate) = 56fc6cf8dc8c4158eed8649f9b8b0ea1518eb62b544fe9490d66fa0b349eafe9 +SIZE (rust/crates/allocator-api2-0.2.15.crate) = 58998 +SHA256 (rust/crates/autocfg-1.1.0.crate) = d468802bab17cbc0cc575e9b053f41e72aa36bfa6b7f55e3529ffa43161b97fa +SIZE (rust/crates/autocfg-1.1.0.crate) = 13272 +SHA256 (rust/crates/byteorder-1.4.3.crate) = 14c189c53d098945499cdfa7ecc63567cf3886b3332b312a5b4585d8d3a6a610 +SIZE (rust/crates/byteorder-1.4.3.crate) = 22512 +SHA256 (rust/crates/cc-1.0.79.crate) = 50d30906286121d95be3d479533b458f87493b30a4b5f79a607db8f5d11aa91f +SIZE (rust/crates/cc-1.0.79.crate) = 62624 +SHA256 (rust/crates/cfg-if-1.0.0.crate) = baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd +SIZE (rust/crates/cfg-if-1.0.0.crate) = 7934 +SHA256 (rust/crates/crc32fast-1.3.2.crate) = b540bd8bc810d3885c6ea91e2018302f68baba2129ab3e88f32389ee9370880d +SIZE (rust/crates/crc32fast-1.3.2.crate) = 38661 +SHA256 (rust/crates/crossbeam-channel-0.5.8.crate) = a33c2bf77f2df06183c3aa30d1e96c0695a313d4f9c453cc3762a6db39f99200 +SIZE (rust/crates/crossbeam-channel-0.5.8.crate) = 90455 +SHA256 (rust/crates/crossbeam-deque-0.8.3.crate) = ce6fd6f855243022dcecf8702fef0c297d4338e226845fe067f6341ad9fa0cef +SIZE (rust/crates/crossbeam-deque-0.8.3.crate) = 21746 +SHA256 (rust/crates/crossbeam-epoch-0.9.15.crate) = ae211234986c545741a7dc064309f67ee1e5ad243d0e48335adc0484d960bcc7 +SIZE (rust/crates/crossbeam-epoch-0.9.15.crate) = 48553 +SHA256 (rust/crates/crossbeam-utils-0.8.16.crate) = 5a22b2d63d4d1dc0b7f1b6b2747dd0088008a9be28b6ddf0b1e7d335e3037294 +SIZE (rust/crates/crossbeam-utils-0.8.16.crate) = 42508 +SHA256 (rust/crates/either-1.8.1.crate) = 7fcaabb2fef8c910e7f4c7ce9f67a1283a1715879a7c230ca9d6d1ae31f16d91 +SIZE (rust/crates/either-1.8.1.crate) = 16027 +SHA256 (rust/crates/flate2-1.0.26.crate) = 3b9429470923de8e8cbd4d2dc513535400b4b3fef0319fb5c4e1f520a7bef743 +SIZE (rust/crates/flate2-1.0.26.crate) = 70832 +SHA256 (rust/crates/hashbrown-0.14.0.crate) = 2c6201b9ff9fd90a5a3bac2e56a830d0caa509576f0e503818ee82c181b3437a +SIZE (rust/crates/hashbrown-0.14.0.crate) = 116103 +SHA256 (rust/crates/hermit-abi-0.2.6.crate) = ee512640fe35acbfb4bb779db6f0d80704c2cacfa2e39b601ef3e3f47d1ae4c7 +SIZE (rust/crates/hermit-abi-0.2.6.crate) = 13027 +SHA256 (rust/crates/itoa-1.0.8.crate) = 62b02a5381cc465bd3041d84623d0fa3b66738b52b8e2fc3bab8ad63ab032f4a +SIZE (rust/crates/itoa-1.0.8.crate) = 10465 +SHA256 (rust/crates/jobserver-0.1.26.crate) = 936cfd212a0155903bcbc060e316fb6cc7cbf2e1907329391ebadc1fe0ce77c2 +SIZE (rust/crates/jobserver-0.1.26.crate) = 22645 +SHA256 (rust/crates/libc-0.2.146.crate) = f92be4933c13fd498862a9e02a3055f8a8d9c039ce33db97306fd5a6caa7f29b +SIZE (rust/crates/libc-0.2.146.crate) = 684707 +SHA256 (rust/crates/memmap2-0.9.0.crate) = deaba38d7abf1d4cca21cc89e932e542ba2b9258664d2a9ef0e61512039c9375 +SIZE (rust/crates/memmap2-0.9.0.crate) = 31529 +SHA256 (rust/crates/memoffset-0.9.0.crate) = 5a634b1c61a95585bd15607c6ab0c4e5b226e695ff2800ba0cdccddf208c406c +SIZE (rust/crates/memoffset-0.9.0.crate) = 9033 +SHA256 (rust/crates/miniz_oxide-0.7.1.crate) = e7810e0be55b428ada41041c41f32c9f1a42817901b4ccf45fa3d4b6561e74c7 +SIZE (rust/crates/miniz_oxide-0.7.1.crate) = 55194 +SHA256 (rust/crates/num_cpus-1.15.0.crate) = 0fac9e2da13b5eb447a6ce3d392f23a29d8694bff781bf03a16cd9ac8697593b +SIZE (rust/crates/num_cpus-1.15.0.crate) = 15680 +SHA256 (rust/crates/once_cell-1.18.0.crate) = dd8b5dd2ae5ed71462c540258bedcb51965123ad7e7ccf4b9a8cafaa4a63576d +SIZE (rust/crates/once_cell-1.18.0.crate) = 32969 +SHA256 (rust/crates/pkg-config-0.3.27.crate) = 26072860ba924cbfa98ea39c8c19b4dd6a4a25423dbdf219c1eca91aa0cf6964 +SIZE (rust/crates/pkg-config-0.3.27.crate) = 18838 +SHA256 (rust/crates/proc-macro2-1.0.70.crate) = 39278fbbf5fb4f646ce651690877f89d1c5811a3d4acb27700c1cb3cdb78fd3b +SIZE (rust/crates/proc-macro2-1.0.70.crate) = 44343 +SHA256 (rust/crates/quote-1.0.28.crate) = 1b9ab9c7eadfd8df19006f1cf1a4aed13540ed5cbc047010ece5826e10825488 +SIZE (rust/crates/quote-1.0.28.crate) = 28382 +SHA256 (rust/crates/rayon-1.7.0.crate) = 1d2df5196e37bcc87abebc0053e20787d73847bb33134a69841207dd0a47f03b +SIZE (rust/crates/rayon-1.7.0.crate) = 169488 +SHA256 (rust/crates/rayon-core-1.11.0.crate) = 4b8f95bd6966f5c87776639160a66bd8ab9895d9d4ab01ddba9fc60661aebe8d +SIZE (rust/crates/rayon-core-1.11.0.crate) = 73118 +SHA256 (rust/crates/ryu-1.0.14.crate) = fe232bdf6be8c8de797b22184ee71118d63780ea42ac85b61d1baa6d3b782ae9 +SIZE (rust/crates/ryu-1.0.14.crate) = 46861 +SHA256 (rust/crates/scopeguard-1.1.0.crate) = d29ab0c6d3fc0ee92fe66e2d99f700eab17a8d57d1c1d3b748380fb20baa78cd +SIZE (rust/crates/scopeguard-1.1.0.crate) = 11470 +SHA256 (rust/crates/serde-1.0.166.crate) = d01b7404f9d441d3ad40e6a636a7782c377d2abdbe4fa2440e2edcc2f4f10db8 +SIZE (rust/crates/serde-1.0.166.crate) = 76998 +SHA256 (rust/crates/serde_json-1.0.99.crate) = 46266871c240a00b8f503b877622fe33430b3c7d963bdc0f2adc511e54a1eae3 +SIZE (rust/crates/serde_json-1.0.99.crate) = 145102 +SHA256 (rust/crates/syn-2.0.39.crate) = 23e78b90f2fcf45d3e842032ce32e3f2d1545ba6636271dcbf24fa306d87be7a +SIZE (rust/crates/syn-2.0.39.crate) = 244129 +SHA256 (rust/crates/unicode-ident-1.0.9.crate) = b15811caf2415fb889178633e7724bad2509101cde276048e013b9def5e51fa0 +SIZE (rust/crates/unicode-ident-1.0.9.crate) = 41978 +SHA256 (rust/crates/version_check-0.9.4.crate) = 49874b5167b65d7193b8aba1567f5c7d93d001cafc34600cee003eda787e483f +SIZE (rust/crates/version_check-0.9.4.crate) = 14895 +SHA256 (rust/crates/zerocopy-0.7.29.crate) = 5d075cf85bbb114e933343e087b92f2146bac0d55b534cbb8188becf0039948e +SIZE (rust/crates/zerocopy-0.7.29.crate) = 149155 +SHA256 (rust/crates/zerocopy-derive-0.7.29.crate) = 86cd5ca076997b97ef09d3ad65efe811fa68c9e874cb636ccb211223a813b0c2 +SIZE (rust/crates/zerocopy-derive-0.7.29.crate) = 533506 +SHA256 (rust/crates/zstd-0.13.0.crate) = bffb3309596d527cfcba7dfc6ed6052f1d39dfbd7c867aa2e865e4a449c10110 +SIZE (rust/crates/zstd-0.13.0.crate) = 28911 +SHA256 (rust/crates/zstd-safe-7.0.0.crate) = 43747c7422e2924c11144d5229878b98180ef8b06cca4ab5af37afc8a8d8ea3e +SIZE (rust/crates/zstd-safe-7.0.0.crate) = 20463 +SHA256 (rust/crates/zstd-sys-2.0.8+zstd.1.5.5.crate) = 5556e6ee25d32df2586c098bbfa278803692a20d0ab9565e049480d52707ec8c +SIZE (rust/crates/zstd-sys-2.0.8+zstd.1.5.5.crate) = 736270 +SHA256 (digama0-leangz-v0.1.10_GH0.tar.gz) = 4b27236888100e921e3aa9446ee92d666e164e3b7794ebde1bb24c0ebfbbe173 +SIZE (digama0-leangz-v0.1.10_GH0.tar.gz) = 262704 diff --git a/math/leangz/pkg-descr b/math/leangz/pkg-descr new file mode 100644 index 000000000000..0edc7f1c4e45 --- /dev/null +++ b/math/leangz/pkg-descr @@ -0,0 +1 @@ +Lean 4 .olean file (de)compressor.