Skip site navigation (1)Skip section navigation (2)
Date:      Tue, 16 Jan 2024 10:45:07 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: d78496a375fe - main - math/leangz: New port: Lean 4 .olean file (de)compressor
Message-ID:  <202401161045.40GAj7Hc064727@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=d78496a375fe1744b7cc6a7e45d35bdef5b6d3a1

commit d78496a375fe1744b7cc6a7e45d35bdef5b6d3a1
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-01-16 07:09:14 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
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 <bsd.port.mk>
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.



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202401161045.40GAj7Hc064727>