* [gentoo-commits] repo/proj/guru:master commit in: sci-electronics/slang/
@ 2023-03-16 8:41 Florian Schmaus
0 siblings, 0 replies; 13+ messages in thread
From: Florian Schmaus @ 2023-03-16 8:41 UTC (permalink / raw
To: gentoo-commits
commit: c00143648c81f5f0311265eff1da7fb65bbef440
Author: Huang Rui <vowstar <AT> gmail <DOT> com>
AuthorDate: Wed Mar 15 11:46:52 2023 +0000
Commit: Florian Schmaus <flow <AT> gentoo <DOT> org>
CommitDate: Wed Mar 15 11:46:52 2023 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=c0014364
sci-electronics/slang: happy new year 2023
Signed-off-by: Huang Rui <vowstar <AT> gmail.com>
sci-electronics/slang/slang-1.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-electronics/slang/slang-1.0.ebuild b/sci-electronics/slang/slang-1.0.ebuild
index 36f75b4cc..07b1a66ce 100644
--- a/sci-electronics/slang/slang-1.0.ebuild
+++ b/sci-electronics/slang/slang-1.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI="8"
^ permalink raw reply related [flat|nested] 13+ messages in thread
* [gentoo-commits] repo/proj/guru:master commit in: sci-electronics/slang/
@ 2023-03-31 10:16 Florian Schmaus
0 siblings, 0 replies; 13+ messages in thread
From: Florian Schmaus @ 2023-03-31 10:16 UTC (permalink / raw
To: gentoo-commits
commit: 155472955edd729fce736eacb95fb889577429a3
Author: Huang Rui <vowstar <AT> gmail <DOT> com>
AuthorDate: Fri Mar 31 04:52:44 2023 +0000
Commit: Florian Schmaus <flow <AT> gentoo <DOT> org>
CommitDate: Fri Mar 31 04:52:44 2023 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=15547295
sci-electronics/slang: dep <dev-libs/unordered_dense-3.0.0
Signed-off-by: Huang Rui <vowstar <AT> gmail.com>
sci-electronics/slang/slang-2.0.ebuild | 2 +-
sci-electronics/slang/slang-9999.ebuild | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-electronics/slang/slang-2.0.ebuild b/sci-electronics/slang/slang-2.0.ebuild
index bdbf27dfd..809a23188 100644
--- a/sci-electronics/slang/slang-2.0.ebuild
+++ b/sci-electronics/slang/slang-2.0.ebuild
@@ -31,7 +31,7 @@ RDEPEND="
${PYTHON_DEPS}
>=dev-cpp/catch-3.0.1
>=dev-libs/libfmt-9.1.0
- >=dev-libs/unordered_dense-2.0.0
+ >=dev-libs/unordered_dense-2.0.0 <dev-libs/unordered_dense-3.0.0
$(python_gen_cond_dep '
>=dev-python/pybind11-2.10[${PYTHON_USEDEP}]
')
diff --git a/sci-electronics/slang/slang-9999.ebuild b/sci-electronics/slang/slang-9999.ebuild
index 37cbea2e0..774a6474d 100644
--- a/sci-electronics/slang/slang-9999.ebuild
+++ b/sci-electronics/slang/slang-9999.ebuild
@@ -31,7 +31,7 @@ RDEPEND="
${PYTHON_DEPS}
>=dev-cpp/catch-3.0.1
>=dev-libs/libfmt-9.1.0
- >=dev-libs/unordered_dense-2.0.0
+ >=dev-libs/unordered_dense-2.0.0 <dev-libs/unordered_dense-3.0.0
$(python_gen_cond_dep '
>=dev-python/pybind11-2.10[${PYTHON_USEDEP}]
')
^ permalink raw reply related [flat|nested] 13+ messages in thread
* [gentoo-commits] repo/proj/guru:master commit in: sci-electronics/slang/
@ 2023-04-01 21:30 Haelwenn Monnier
0 siblings, 0 replies; 13+ messages in thread
From: Haelwenn Monnier @ 2023-04-01 21:30 UTC (permalink / raw
To: gentoo-commits
commit: 1a590db0520448693b05b87361d7f51f0fa37c8c
Author: Huang Rui <vowstar <AT> gmail <DOT> com>
AuthorDate: Sat Apr 1 05:41:42 2023 +0000
Commit: Haelwenn Monnier <contact <AT> hacktivis <DOT> me>
CommitDate: Sat Apr 1 05:42:20 2023 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=1a590db0
sci-electronics/slang: rev bump due to RDEPEND change
Signed-off-by: Huang Rui <vowstar <AT> gmail.com>
sci-electronics/slang/{slang-2.0.ebuild => slang-2.0-r1.ebuild} | 0
1 file changed, 0 insertions(+), 0 deletions(-)
diff --git a/sci-electronics/slang/slang-2.0.ebuild b/sci-electronics/slang/slang-2.0-r1.ebuild
similarity index 100%
rename from sci-electronics/slang/slang-2.0.ebuild
rename to sci-electronics/slang/slang-2.0-r1.ebuild
^ permalink raw reply [flat|nested] 13+ messages in thread
* [gentoo-commits] repo/proj/guru:master commit in: sci-electronics/slang/
@ 2023-06-07 7:04 Viorel Munteanu
0 siblings, 0 replies; 13+ messages in thread
From: Viorel Munteanu @ 2023-06-07 7:04 UTC (permalink / raw
To: gentoo-commits
commit: 1cd0ce4df71a54475abc840aec0cd80231f6f7c2
Author: Huang Rui <vowstar <AT> gmail <DOT> com>
AuthorDate: Mon Jun 5 07:15:45 2023 +0000
Commit: Viorel Munteanu <ceamac <AT> gentoo <DOT> org>
CommitDate: Mon Jun 5 07:15:45 2023 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=1cd0ce4d
sci-electronics/slang: fix unordered_dense depend
Signed-off-by: Huang Rui <vowstar <AT> gmail.com>
sci-electronics/slang/{slang-2.0-r1.ebuild => slang-2.0-r2.ebuild} | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-electronics/slang/slang-2.0-r1.ebuild b/sci-electronics/slang/slang-2.0-r2.ebuild
similarity index 93%
rename from sci-electronics/slang/slang-2.0-r1.ebuild
rename to sci-electronics/slang/slang-2.0-r2.ebuild
index b06b86cf6..e37c0ccce 100644
--- a/sci-electronics/slang/slang-2.0-r1.ebuild
+++ b/sci-electronics/slang/slang-2.0-r2.ebuild
@@ -3,7 +3,7 @@
EAPI="8"
-PYTHON_COMPAT=( python3_{10..11} )
+PYTHON_COMPAT=( python3_{9..11} )
inherit cmake python-single-r1
DESCRIPTION="SystemVerilog compiler and language services"
@@ -31,7 +31,7 @@ RDEPEND="
${PYTHON_DEPS}
>=dev-cpp/catch-3.0.1
>=dev-libs/libfmt-9.1.0
- >=dev-libs/unordered_dense-2.0.0 <dev-libs/unordered_dense-3.0.0
+ >=dev-libs/unordered_dense-2.0.0 <dev-libs/unordered_dense-2.0.1
$(python_gen_cond_dep '
>=dev-python/pybind11-2.10[${PYTHON_USEDEP}]
')
^ permalink raw reply related [flat|nested] 13+ messages in thread
* [gentoo-commits] repo/proj/guru:master commit in: sci-electronics/slang/
@ 2023-06-07 7:04 Viorel Munteanu
0 siblings, 0 replies; 13+ messages in thread
From: Viorel Munteanu @ 2023-06-07 7:04 UTC (permalink / raw
To: gentoo-commits
commit: 6d80ebc55eb9d0977ed7a1688e490258b7be34a9
Author: Huang Rui <vowstar <AT> gmail <DOT> com>
AuthorDate: Mon Jun 5 07:16:24 2023 +0000
Commit: Viorel Munteanu <ceamac <AT> gentoo <DOT> org>
CommitDate: Mon Jun 5 07:16:24 2023 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=6d80ebc5
sci-electronics/slang: add 3.0
Signed-off-by: Huang Rui <vowstar <AT> gmail.com>
sci-electronics/slang/Manifest | 1 +
sci-electronics/slang/slang-3.0.ebuild | 64 ++++++++++++++++++++++++++++++++++
2 files changed, 65 insertions(+)
diff --git a/sci-electronics/slang/Manifest b/sci-electronics/slang/Manifest
index 37c981edb..1788d079b 100644
--- a/sci-electronics/slang/Manifest
+++ b/sci-electronics/slang/Manifest
@@ -1,2 +1,3 @@
DIST slang-1.0.tar.gz 1239664 BLAKE2B 98355987b5c355eb914dd0d38c7441d5d39b7a0259e557d9cfd6271fd35aab642db6036d55228f75522fef0c31a4c82dea4d09cdb04ea33c60d843a3ca14caf0 SHA512 25ef7f5abb1b73928f61b853db5462baf72077a47daa9419311aba1f8fdca0bd499518c2f64dfff95b3c0671e52f2b1cd37edb7d1c74fb983b74de08fe7eea37
DIST slang-2.0.tar.gz 1026299 BLAKE2B d55e0f419e030a37ff80aef3c0b16a96ee402707c758797fea3d1914e29247d22d240693cd873f95f634438fad5b8ed65961a324c69788fc3e62f83ce0a94869 SHA512 3d18961cda7eb40877932e937364b19cfcef3127a8467fbfc70febd1d6ef8b267aeae8244355a4b0206197ef126ee5a65aa4a4fb49d0970fe6c626725b7e6b21
+DIST slang-3.0.tar.gz 1097223 BLAKE2B 87f7ac55fb719e64049e56792af9edbe20c39cebcd496f3fa3c980f54490a885f8bc3443b0c841930baf1d57854aba54747acf3f6a8debda3e1cb110dae364f0 SHA512 3d340ccdd7573d61b9e391861712d6b97a2c686b2bae351c1b25f11539146f6d00539b044c69f7dc362ed160828a1bb00f180553dcb760affe912e521bc56a8a
diff --git a/sci-electronics/slang/slang-3.0.ebuild b/sci-electronics/slang/slang-3.0.ebuild
new file mode 100644
index 000000000..52a620660
--- /dev/null
+++ b/sci-electronics/slang/slang-3.0.ebuild
@@ -0,0 +1,64 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="8"
+
+PYTHON_COMPAT=( python3_{9..11} )
+inherit cmake python-single-r1
+
+DESCRIPTION="SystemVerilog compiler and language services"
+HOMEPAGE="
+ https://sv-lang.com
+ https://github.com/MikePopoloski/slang
+"
+
+if [[ "${PV}" == "9999" ]] ; then
+ inherit git-r3
+ EGIT_REPO_URI="https://github.com/MikePopoloski/${PN}.git"
+else
+ SRC_URI="https://github.com/MikePopoloski/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+ KEYWORDS="~amd64 ~arm64 ~riscv ~x86"
+ S="${WORKDIR}/${P}"
+fi
+
+LICENSE="MIT"
+SLOT="0"
+IUSE="python test"
+REQUIRED_USE=" ${PYTHON_REQUIRED_USE} "
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+ ${PYTHON_DEPS}
+ >=dev-cpp/catch-3.0.1
+ >=dev-libs/libfmt-9.1.0
+ >=dev-libs/unordered_dense-2.0.1 <dev-libs/unordered_dense-2.0.2
+ $(python_gen_cond_dep '
+ >=dev-python/pybind11-2.10[${PYTHON_USEDEP}]
+ ')
+"
+
+DEPEND="
+ ${RDEPEND}
+"
+
+src_configure() {
+ python_setup
+ local mycmakeargs=(
+ -D CMAKE_INSTALL_LIBDIR="${EPREFIX}/usr/$(get_libdir)"
+ -D BUILD_SHARED_LIBS=ON
+ -D SLANG_USE_BOOST=OFF
+ -D SLANG_INCLUDE_PYLIB=$(usex python)
+ -D SLANG_INCLUDE_TESTS=$(usex test)
+ )
+ cmake_src_configure
+}
+
+src_install() {
+ cmake_src_install
+
+ if use python; then
+ # fix python unexpected paths QA
+ mkdir -p "${D}/$(python_get_sitedir)" || die
+ mv "${D}"/usr/pyslang* "${D}/$(python_get_sitedir)" || die
+ fi
+}
^ permalink raw reply related [flat|nested] 13+ messages in thread
* [gentoo-commits] repo/proj/guru:master commit in: sci-electronics/slang/
@ 2024-02-17 2:40 Rui Huang
0 siblings, 0 replies; 13+ messages in thread
From: Rui Huang @ 2024-02-17 2:40 UTC (permalink / raw
To: gentoo-commits
commit: c652d3cdf2f3cdb409bf7df7ae4fcb2827121d02
Author: Huang Rui <vowstar <AT> gmail <DOT> com>
AuthorDate: Fri Feb 16 13:50:18 2024 +0000
Commit: Rui Huang <vowstar <AT> gmail <DOT> com>
CommitDate: Fri Feb 16 13:51:46 2024 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=c652d3cd
sci-electronics/slang: bump to 5.0
Signed-off-by: Huang Rui <vowstar <AT> gmail.com>
sci-electronics/slang/Manifest | 1 +
sci-electronics/slang/slang-5.0.ebuild | 67 ++++++++++++++++++++++++++++++++++
2 files changed, 68 insertions(+)
diff --git a/sci-electronics/slang/Manifest b/sci-electronics/slang/Manifest
index 38dedff2e0..94b3e14ff6 100644
--- a/sci-electronics/slang/Manifest
+++ b/sci-electronics/slang/Manifest
@@ -2,3 +2,4 @@ DIST slang-1.0.tar.gz 1239664 BLAKE2B 98355987b5c355eb914dd0d38c7441d5d39b7a0259
DIST slang-2.0.tar.gz 1026299 BLAKE2B d55e0f419e030a37ff80aef3c0b16a96ee402707c758797fea3d1914e29247d22d240693cd873f95f634438fad5b8ed65961a324c69788fc3e62f83ce0a94869 SHA512 3d18961cda7eb40877932e937364b19cfcef3127a8467fbfc70febd1d6ef8b267aeae8244355a4b0206197ef126ee5a65aa4a4fb49d0970fe6c626725b7e6b21
DIST slang-3.0.tar.gz 1097223 BLAKE2B 87f7ac55fb719e64049e56792af9edbe20c39cebcd496f3fa3c980f54490a885f8bc3443b0c841930baf1d57854aba54747acf3f6a8debda3e1cb110dae364f0 SHA512 3d340ccdd7573d61b9e391861712d6b97a2c686b2bae351c1b25f11539146f6d00539b044c69f7dc362ed160828a1bb00f180553dcb760affe912e521bc56a8a
DIST slang-4.0.tar.gz 1308308 BLAKE2B 99029a26b3fe86942abc33381f8f9ba050c09b390ed7fc54404f4054eb34a83e168d53096cad2e8f037954770a95009c701c86b1e59e1e9d02e1709fd120164c SHA512 043c053452b2d452875b2e3ed96be5b96275544e2a692bec8b170e01cefec6e5648a6681e3cac3afd2a68c8ec57f6461a9a73394d74abbc8627d49b66978808e
+DIST slang-5.0.tar.gz 1334032 BLAKE2B 08981f86d0be6a4a7d391a2b65d8f4e5bdab8e3ba50f6e847e2b25fec9d9345e806045faae3c74fd71db90f939d8668ff775465ea1e8433d660a0a53f20a358a SHA512 a1b7b9aac7357a9a7cc1818adbb5e9622234f607aba452ca57e3d28b31779339bb19557137cf37cdcc2abb2aba15eb6d2f580169322caf075a2518b3d8634a26
diff --git a/sci-electronics/slang/slang-5.0.ebuild b/sci-electronics/slang/slang-5.0.ebuild
new file mode 100644
index 0000000000..d910be8d22
--- /dev/null
+++ b/sci-electronics/slang/slang-5.0.ebuild
@@ -0,0 +1,67 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="8"
+
+PYTHON_COMPAT=( python3_{9..12} )
+inherit cmake python-single-r1
+
+DESCRIPTION="SystemVerilog compiler and language services"
+HOMEPAGE="
+ https://sv-lang.com
+ https://github.com/MikePopoloski/slang
+"
+
+if [[ "${PV}" == "9999" ]] ; then
+ inherit git-r3
+ EGIT_REPO_URI="https://github.com/MikePopoloski/${PN}.git"
+else
+ SRC_URI="https://github.com/MikePopoloski/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+ KEYWORDS="~amd64 ~arm64 ~riscv ~x86"
+ S="${WORKDIR}/${P}"
+fi
+
+LICENSE="MIT"
+SLOT="0"
+IUSE="python test"
+REQUIRED_USE=" ${PYTHON_REQUIRED_USE} "
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+ ${PYTHON_DEPS}
+ >=dev-cpp/catch-3.0.1
+ >=dev-libs/libfmt-9.1.0
+ >=dev-libs/mimalloc-2.1.2
+ $(python_gen_cond_dep '
+ >=dev-python/pybind11-2.10[${PYTHON_USEDEP}]
+ ')
+"
+
+DEPEND="
+ ${RDEPEND}
+"
+
+PATCHES=(
+ "${FILESDIR}/${PN}-5.0-fix-gentoo-libfmt-depend.patch"
+)
+
+src_configure() {
+ python_setup
+ local mycmakeargs=(
+ -D CMAKE_INSTALL_LIBDIR="${EPREFIX}/usr/$(get_libdir)"
+ -D BUILD_SHARED_LIBS=ON
+ -D SLANG_INCLUDE_PYLIB=$(usex python)
+ -D SLANG_INCLUDE_TESTS=$(usex test)
+ )
+ cmake_src_configure
+}
+
+src_install() {
+ cmake_src_install
+
+ if use python; then
+ # fix python unexpected paths QA
+ mkdir -p "${D}/$(python_get_sitedir)" || die
+ mv "${D}"/usr/pyslang* "${D}/$(python_get_sitedir)" || die
+ fi
+}
^ permalink raw reply related [flat|nested] 13+ messages in thread
* [gentoo-commits] repo/proj/guru:master commit in: sci-electronics/slang/
@ 2024-03-02 7:10 Arthur Zamarin
0 siblings, 0 replies; 13+ messages in thread
From: Arthur Zamarin @ 2024-03-02 7:10 UTC (permalink / raw
To: gentoo-commits
commit: 54fbd24627346c1380b7731bc4be23045dd35776
Author: Steffen Winter <steffen.winter <AT> proton <DOT> me>
AuthorDate: Fri Mar 1 14:11:08 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Fri Mar 1 14:11:08 2024 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=54fbd246
sci-electronics/slang: Reorder deps, remove mimalloc dep
mimalloc from ::gentoo doesn't install static libraries which would be
required here.
Fixes: https://bugs.gentoo.org/922041
Signed-off-by: Steffen Winter <steffen.winter <AT> proton.me>
sci-electronics/slang/slang-4.0.ebuild | 11 +++++------
sci-electronics/slang/slang-5.0.ebuild | 11 +++++------
2 files changed, 10 insertions(+), 12 deletions(-)
diff --git a/sci-electronics/slang/slang-4.0.ebuild b/sci-electronics/slang/slang-4.0.ebuild
index 65c708aba3..8cf3c6e986 100644
--- a/sci-electronics/slang/slang-4.0.ebuild
+++ b/sci-electronics/slang/slang-4.0.ebuild
@@ -29,16 +29,14 @@ RESTRICT="!test? ( test )"
RDEPEND="
${PYTHON_DEPS}
- >=dev-cpp/catch-3.0.1
- >=dev-libs/libfmt-9.1.0
- >=dev-libs/mimalloc-2.1.2
$(python_gen_cond_dep '
>=dev-python/pybind11-2.10[${PYTHON_USEDEP}]
')
"
-
-DEPEND="
- ${RDEPEND}
+DEPEND="${RDEPEND}"
+BDEPEND="
+ >=dev-libs/libfmt-9.1.0
+ test? ( >=dev-cpp/catch-3.0.1 )
"
PATCHES=(
@@ -52,6 +50,7 @@ src_configure() {
-D BUILD_SHARED_LIBS=ON
-D SLANG_INCLUDE_PYLIB=$(usex python)
-D SLANG_INCLUDE_TESTS=$(usex test)
+ -D SLANG_USE_MIMALLOC=OFF
)
cmake_src_configure
}
diff --git a/sci-electronics/slang/slang-5.0.ebuild b/sci-electronics/slang/slang-5.0.ebuild
index d910be8d22..671133d46c 100644
--- a/sci-electronics/slang/slang-5.0.ebuild
+++ b/sci-electronics/slang/slang-5.0.ebuild
@@ -29,16 +29,14 @@ RESTRICT="!test? ( test )"
RDEPEND="
${PYTHON_DEPS}
- >=dev-cpp/catch-3.0.1
- >=dev-libs/libfmt-9.1.0
- >=dev-libs/mimalloc-2.1.2
$(python_gen_cond_dep '
>=dev-python/pybind11-2.10[${PYTHON_USEDEP}]
')
"
-
-DEPEND="
- ${RDEPEND}
+DEPEND="${RDEPEND}"
+BDEPEND="
+ >=dev-libs/libfmt-9.1.0
+ test? ( >=dev-cpp/catch-3.0.1 )
"
PATCHES=(
@@ -52,6 +50,7 @@ src_configure() {
-D BUILD_SHARED_LIBS=ON
-D SLANG_INCLUDE_PYLIB=$(usex python)
-D SLANG_INCLUDE_TESTS=$(usex test)
+ -D SLANG_USE_MIMALLOC=OFF
)
cmake_src_configure
}
^ permalink raw reply related [flat|nested] 13+ messages in thread
* [gentoo-commits] repo/proj/guru:master commit in: sci-electronics/slang/
@ 2024-04-22 6:16 Viorel Munteanu
0 siblings, 0 replies; 13+ messages in thread
From: Viorel Munteanu @ 2024-04-22 6:16 UTC (permalink / raw
To: gentoo-commits
commit: 8399ad2b82085397c59b75edfb000b2d54ad2ebd
Author: Huang Rui <vowstar <AT> gmail <DOT> com>
AuthorDate: Mon Apr 22 02:30:47 2024 +0000
Commit: Viorel Munteanu <ceamac <AT> gentoo <DOT> org>
CommitDate: Mon Apr 22 02:32:17 2024 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=8399ad2b
sci-electronics/slang: disable py3.9, fix ebuild format
Signed-off-by: Huang Rui <vowstar <AT> gmail.com>
sci-electronics/slang/slang-4.0.ebuild | 4 ++--
sci-electronics/slang/slang-5.0.ebuild | 2 +-
sci-electronics/slang/slang-9999.ebuild | 15 +++++++--------
3 files changed, 10 insertions(+), 11 deletions(-)
diff --git a/sci-electronics/slang/slang-4.0.ebuild b/sci-electronics/slang/slang-4.0.ebuild
index 8cf3c6e986..6ce4a98d17 100644
--- a/sci-electronics/slang/slang-4.0.ebuild
+++ b/sci-electronics/slang/slang-4.0.ebuild
@@ -1,9 +1,9 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI="8"
-PYTHON_COMPAT=( python3_{9..12} )
+PYTHON_COMPAT=( python3_{10..12} )
inherit cmake python-single-r1
DESCRIPTION="SystemVerilog compiler and language services"
diff --git a/sci-electronics/slang/slang-5.0.ebuild b/sci-electronics/slang/slang-5.0.ebuild
index 671133d46c..6bba9883c2 100644
--- a/sci-electronics/slang/slang-5.0.ebuild
+++ b/sci-electronics/slang/slang-5.0.ebuild
@@ -3,7 +3,7 @@
EAPI="8"
-PYTHON_COMPAT=( python3_{9..12} )
+PYTHON_COMPAT=( python3_{10..12} )
inherit cmake python-single-r1
DESCRIPTION="SystemVerilog compiler and language services"
diff --git a/sci-electronics/slang/slang-9999.ebuild b/sci-electronics/slang/slang-9999.ebuild
index 1e128f55cd..a040c292e6 100644
--- a/sci-electronics/slang/slang-9999.ebuild
+++ b/sci-electronics/slang/slang-9999.ebuild
@@ -1,9 +1,9 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI="8"
-PYTHON_COMPAT=( python3_{9..12} )
+PYTHON_COMPAT=( python3_{10..12} )
inherit cmake python-single-r1
DESCRIPTION="SystemVerilog compiler and language services"
@@ -29,16 +29,14 @@ RESTRICT="!test? ( test )"
RDEPEND="
${PYTHON_DEPS}
- >=dev-cpp/catch-3.0.1
- >=dev-libs/libfmt-9.1.0
- >=dev-libs/mimalloc-2.1.2
$(python_gen_cond_dep '
>=dev-python/pybind11-2.10[${PYTHON_USEDEP}]
')
"
-
-DEPEND="
- ${RDEPEND}
+DEPEND="${RDEPEND}"
+BDEPEND="
+ >=dev-libs/libfmt-9.1.0
+ test? ( >=dev-cpp/catch-3.0.1 )
"
src_configure() {
@@ -48,6 +46,7 @@ src_configure() {
-D BUILD_SHARED_LIBS=ON
-D SLANG_INCLUDE_PYLIB=$(usex python)
-D SLANG_INCLUDE_TESTS=$(usex test)
+ -D SLANG_USE_MIMALLOC=OFF
)
cmake_src_configure
}
^ permalink raw reply related [flat|nested] 13+ messages in thread
* [gentoo-commits] repo/proj/guru:master commit in: sci-electronics/slang/
@ 2024-10-09 15:39 David Roman
0 siblings, 0 replies; 13+ messages in thread
From: David Roman @ 2024-10-09 15:39 UTC (permalink / raw
To: gentoo-commits
commit: ac4e8a308cf12f8092ecb78328c7db6abbc0b77f
Author: Huang Rui <vowstar <AT> gmail <DOT> com>
AuthorDate: Wed Oct 9 04:30:52 2024 +0000
Commit: David Roman <davidroman96 <AT> gmail <DOT> com>
CommitDate: Wed Oct 9 04:30:52 2024 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=ac4e8a30
sci-electronics/slang: add 7.0
Signed-off-by: Huang Rui <vowstar <AT> gmail.com>
sci-electronics/slang/Manifest | 1 +
sci-electronics/slang/slang-7.0.ebuild | 71 ++++++++++++++++++++++++++++++++++
2 files changed, 72 insertions(+)
diff --git a/sci-electronics/slang/Manifest b/sci-electronics/slang/Manifest
index b37ddbc2f..79d507e11 100644
--- a/sci-electronics/slang/Manifest
+++ b/sci-electronics/slang/Manifest
@@ -1,3 +1,4 @@
DIST slang-4.0.tar.gz 1308308 BLAKE2B 99029a26b3fe86942abc33381f8f9ba050c09b390ed7fc54404f4054eb34a83e168d53096cad2e8f037954770a95009c701c86b1e59e1e9d02e1709fd120164c SHA512 043c053452b2d452875b2e3ed96be5b96275544e2a692bec8b170e01cefec6e5648a6681e3cac3afd2a68c8ec57f6461a9a73394d74abbc8627d49b66978808e
DIST slang-5.0.tar.gz 1334032 BLAKE2B 08981f86d0be6a4a7d391a2b65d8f4e5bdab8e3ba50f6e847e2b25fec9d9345e806045faae3c74fd71db90f939d8668ff775465ea1e8433d660a0a53f20a358a SHA512 a1b7b9aac7357a9a7cc1818adbb5e9622234f607aba452ca57e3d28b31779339bb19557137cf37cdcc2abb2aba15eb6d2f580169322caf075a2518b3d8634a26
DIST slang-6.0.tar.gz 1401115 BLAKE2B 77c6359e8de39216bef553ec832a643397e83847146223acf2512efbbb2cd15eb0b874ff8f021adb72472ce5bb77ca33648ed8c392b21df7ed349110f5654d17 SHA512 bd9e24abc6e83ca2ca0527271754bd0312e094c040feccbf95852a84dba486addd2ed0a40e5a855c1b41918061a6a7c34ca1a4f6610b1e941e50e1b74402cb5c
+DIST slang-7.0.tar.gz 1461841 BLAKE2B d4ba3abb891f3ebbc73f6d69ae78d180cef8dc8d4041f192be162d73664ba4dbe19d7deb65a0d4498c3e3df8b7412904724dab6c518c73f3541e90a8a9925da2 SHA512 657c2a12beac5fe190be77953836320903c4492004b6877e0e5ef1be42516184048e1caed30aa8d4f89a9a20651389d1baab76ccb82e9c7d9a6fdf4e29815239
diff --git a/sci-electronics/slang/slang-7.0.ebuild b/sci-electronics/slang/slang-7.0.ebuild
new file mode 100644
index 000000000..19bb11845
--- /dev/null
+++ b/sci-electronics/slang/slang-7.0.ebuild
@@ -0,0 +1,71 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="8"
+
+PYTHON_COMPAT=( python3_{10..13} )
+inherit cmake python-single-r1
+
+DESCRIPTION="SystemVerilog compiler and language services"
+HOMEPAGE="
+ https://sv-lang.com
+ https://github.com/MikePopoloski/slang
+"
+
+if [[ "${PV}" == "9999" ]] ; then
+ inherit git-r3
+ EGIT_REPO_URI="https://github.com/MikePopoloski/${PN}.git"
+else
+ SRC_URI="https://github.com/MikePopoloski/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+ KEYWORDS="~amd64 ~arm64 ~riscv ~x86"
+ S="${WORKDIR}/${P}"
+fi
+
+LICENSE="MIT"
+SLOT="0"
+IUSE="python test"
+REQUIRED_USE=" ${PYTHON_REQUIRED_USE} "
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+ ${PYTHON_DEPS}
+ $(python_gen_cond_dep '
+ >=dev-python/pybind11-2.10[${PYTHON_USEDEP}]
+ ')
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+ >=dev-libs/libfmt-9.1.0
+ test? ( >=dev-cpp/catch-3.0.1 )
+"
+
+src_prepare() {
+ default
+ # In order to compile smoothly, the minimum version of fmt must be lowered.
+ sed -i \
+ -e 's/set(fmt_min_version.*)/set(fmt_min_version "9.0")/' \
+ "${S}/external/CMakeLists.txt" || die
+ cmake_src_prepare
+}
+
+src_configure() {
+ python_setup
+ local mycmakeargs=(
+ -D CMAKE_INSTALL_LIBDIR="${EPREFIX}/usr/$(get_libdir)"
+ -D BUILD_SHARED_LIBS=ON
+ -D SLANG_INCLUDE_PYLIB=$(usex python)
+ -D SLANG_INCLUDE_TESTS=$(usex test)
+ -D SLANG_USE_MIMALLOC=OFF
+ )
+ cmake_src_configure
+}
+
+src_install() {
+ cmake_src_install
+
+ if use python; then
+ # fix python unexpected paths QA
+ mkdir -p "${D}/$(python_get_sitedir)" || die
+ mv "${D}"/usr/pyslang* "${D}/$(python_get_sitedir)" || die
+ fi
+}
^ permalink raw reply related [flat|nested] 13+ messages in thread
* [gentoo-commits] repo/proj/guru:master commit in: sci-electronics/slang/
@ 2024-10-09 15:39 David Roman
0 siblings, 0 replies; 13+ messages in thread
From: David Roman @ 2024-10-09 15:39 UTC (permalink / raw
To: gentoo-commits
commit: 9cd1a47eec4d2f6573682e5d28b67b1ae01b9f85
Author: Huang Rui <vowstar <AT> gmail <DOT> com>
AuthorDate: Wed Oct 9 04:31:43 2024 +0000
Commit: David Roman <davidroman96 <AT> gmail <DOT> com>
CommitDate: Wed Oct 9 04:31:43 2024 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=9cd1a47e
sci-electronics/slang: enable py3.13
Signed-off-by: Huang Rui <vowstar <AT> gmail.com>
sci-electronics/slang/slang-9999.ebuild | 11 ++++++++++-
1 file changed, 10 insertions(+), 1 deletion(-)
diff --git a/sci-electronics/slang/slang-9999.ebuild b/sci-electronics/slang/slang-9999.ebuild
index a040c292e..19bb11845 100644
--- a/sci-electronics/slang/slang-9999.ebuild
+++ b/sci-electronics/slang/slang-9999.ebuild
@@ -3,7 +3,7 @@
EAPI="8"
-PYTHON_COMPAT=( python3_{10..12} )
+PYTHON_COMPAT=( python3_{10..13} )
inherit cmake python-single-r1
DESCRIPTION="SystemVerilog compiler and language services"
@@ -39,6 +39,15 @@ BDEPEND="
test? ( >=dev-cpp/catch-3.0.1 )
"
+src_prepare() {
+ default
+ # In order to compile smoothly, the minimum version of fmt must be lowered.
+ sed -i \
+ -e 's/set(fmt_min_version.*)/set(fmt_min_version "9.0")/' \
+ "${S}/external/CMakeLists.txt" || die
+ cmake_src_prepare
+}
+
src_configure() {
python_setup
local mycmakeargs=(
^ permalink raw reply related [flat|nested] 13+ messages in thread
* [gentoo-commits] repo/proj/guru:master commit in: sci-electronics/slang/
@ 2025-02-17 9:49 David Roman
0 siblings, 0 replies; 13+ messages in thread
From: David Roman @ 2025-02-17 9:49 UTC (permalink / raw
To: gentoo-commits
commit: f6c3ddd2d61dbe58e78529762f22edf93615b2cf
Author: Huang Rui <vowstar <AT> gmail <DOT> com>
AuthorDate: Sat Feb 15 17:11:53 2025 +0000
Commit: David Roman <davidroman96 <AT> gmail <DOT> com>
CommitDate: Sat Feb 15 17:11:53 2025 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=f6c3ddd2
sci-electronics/slang: add 8.0
Signed-off-by: Huang Rui <vowstar <AT> gmail.com>
sci-electronics/slang/Manifest | 1 +
sci-electronics/slang/slang-8.0.ebuild | 71 ++++++++++++++++++++++++++++++++++
2 files changed, 72 insertions(+)
diff --git a/sci-electronics/slang/Manifest b/sci-electronics/slang/Manifest
index 4e63f0a74..557946215 100644
--- a/sci-electronics/slang/Manifest
+++ b/sci-electronics/slang/Manifest
@@ -1 +1,2 @@
DIST slang-7.0.tar.gz 1461841 BLAKE2B d4ba3abb891f3ebbc73f6d69ae78d180cef8dc8d4041f192be162d73664ba4dbe19d7deb65a0d4498c3e3df8b7412904724dab6c518c73f3541e90a8a9925da2 SHA512 657c2a12beac5fe190be77953836320903c4492004b6877e0e5ef1be42516184048e1caed30aa8d4f89a9a20651389d1baab76ccb82e9c7d9a6fdf4e29815239
+DIST slang-8.0.tar.gz 1523813 BLAKE2B 7bec58bc5d9b58274c95805ec80ff727486d7b1c2a248759253b180f287b83d39d301b9311deec403bb63e826aaf50504c668956581d509b5844bbc21217ad98 SHA512 a8b4fa9eeebf0f2a3432111071eb016557f91bf0541a45554b29b30b77003d2bc6df4812577c9b2dfe7497254b6a57af05fb56733d5ca924c6c7772f27fd24f7
diff --git a/sci-electronics/slang/slang-8.0.ebuild b/sci-electronics/slang/slang-8.0.ebuild
new file mode 100644
index 000000000..123b45512
--- /dev/null
+++ b/sci-electronics/slang/slang-8.0.ebuild
@@ -0,0 +1,71 @@
+# Copyright 1999-2025 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="8"
+
+PYTHON_COMPAT=( python3_{10..13} )
+inherit cmake python-single-r1
+
+DESCRIPTION="SystemVerilog compiler and language services"
+HOMEPAGE="
+ https://sv-lang.com
+ https://github.com/MikePopoloski/slang
+"
+
+if [[ "${PV}" == "9999" ]] ; then
+ inherit git-r3
+ EGIT_REPO_URI="https://github.com/MikePopoloski/${PN}.git"
+else
+ SRC_URI="https://github.com/MikePopoloski/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+ KEYWORDS="~amd64 ~arm64 ~riscv ~x86"
+ S="${WORKDIR}/${P}"
+fi
+
+LICENSE="MIT"
+SLOT="0"
+IUSE="python test"
+REQUIRED_USE=" ${PYTHON_REQUIRED_USE} "
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+ ${PYTHON_DEPS}
+ $(python_gen_cond_dep '
+ >=dev-python/pybind11-2.10[${PYTHON_USEDEP}]
+ ')
+"
+DEPEND="${RDEPEND}"
+BDEPEND="
+ >=dev-libs/libfmt-9.1.0
+ test? ( >=dev-cpp/catch-3.0.1 )
+"
+
+src_prepare() {
+ default
+ # In order to compile smoothly, the minimum version of fmt must be lowered.
+ sed -i \
+ -e 's/set(fmt_min_version.*)/set(fmt_min_version "9.0")/' \
+ "${S}/external/CMakeLists.txt" || die
+ cmake_src_prepare
+}
+
+src_configure() {
+ python_setup
+ local mycmakeargs=(
+ -D CMAKE_INSTALL_LIBDIR="${EPREFIX}/usr/$(get_libdir)"
+ -D BUILD_SHARED_LIBS=ON
+ -D SLANG_INCLUDE_PYLIB=$(usex python)
+ -D SLANG_INCLUDE_TESTS=$(usex test)
+ -D SLANG_USE_MIMALLOC=OFF
+ )
+ cmake_src_configure
+}
+
+src_install() {
+ cmake_src_install
+
+ if use python; then
+ # fix python unexpected paths QA
+ mkdir -p "${D}/$(python_get_sitedir)" || die
+ mv "${D}"/usr/pyslang* "${D}/$(python_get_sitedir)" || die
+ fi
+}
^ permalink raw reply related [flat|nested] 13+ messages in thread
* [gentoo-commits] repo/proj/guru:master commit in: sci-electronics/slang/
@ 2025-02-17 9:49 David Roman
0 siblings, 0 replies; 13+ messages in thread
From: David Roman @ 2025-02-17 9:49 UTC (permalink / raw
To: gentoo-commits
commit: e46bfa7050ef7ed7ecee5af958dd722b05d0ae2c
Author: Huang Rui <vowstar <AT> gmail <DOT> com>
AuthorDate: Sat Feb 15 17:12:44 2025 +0000
Commit: David Roman <davidroman96 <AT> gmail <DOT> com>
CommitDate: Sat Feb 15 17:12:44 2025 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=e46bfa70
sci-electronics/slang: drop 7.0
Signed-off-by: Huang Rui <vowstar <AT> gmail.com>
sci-electronics/slang/Manifest | 1 -
sci-electronics/slang/slang-7.0.ebuild | 71 ----------------------------------
2 files changed, 72 deletions(-)
diff --git a/sci-electronics/slang/Manifest b/sci-electronics/slang/Manifest
index 557946215..b0463a31c 100644
--- a/sci-electronics/slang/Manifest
+++ b/sci-electronics/slang/Manifest
@@ -1,2 +1 @@
-DIST slang-7.0.tar.gz 1461841 BLAKE2B d4ba3abb891f3ebbc73f6d69ae78d180cef8dc8d4041f192be162d73664ba4dbe19d7deb65a0d4498c3e3df8b7412904724dab6c518c73f3541e90a8a9925da2 SHA512 657c2a12beac5fe190be77953836320903c4492004b6877e0e5ef1be42516184048e1caed30aa8d4f89a9a20651389d1baab76ccb82e9c7d9a6fdf4e29815239
DIST slang-8.0.tar.gz 1523813 BLAKE2B 7bec58bc5d9b58274c95805ec80ff727486d7b1c2a248759253b180f287b83d39d301b9311deec403bb63e826aaf50504c668956581d509b5844bbc21217ad98 SHA512 a8b4fa9eeebf0f2a3432111071eb016557f91bf0541a45554b29b30b77003d2bc6df4812577c9b2dfe7497254b6a57af05fb56733d5ca924c6c7772f27fd24f7
diff --git a/sci-electronics/slang/slang-7.0.ebuild b/sci-electronics/slang/slang-7.0.ebuild
deleted file mode 100644
index 19bb11845..000000000
--- a/sci-electronics/slang/slang-7.0.ebuild
+++ /dev/null
@@ -1,71 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="8"
-
-PYTHON_COMPAT=( python3_{10..13} )
-inherit cmake python-single-r1
-
-DESCRIPTION="SystemVerilog compiler and language services"
-HOMEPAGE="
- https://sv-lang.com
- https://github.com/MikePopoloski/slang
-"
-
-if [[ "${PV}" == "9999" ]] ; then
- inherit git-r3
- EGIT_REPO_URI="https://github.com/MikePopoloski/${PN}.git"
-else
- SRC_URI="https://github.com/MikePopoloski/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
- KEYWORDS="~amd64 ~arm64 ~riscv ~x86"
- S="${WORKDIR}/${P}"
-fi
-
-LICENSE="MIT"
-SLOT="0"
-IUSE="python test"
-REQUIRED_USE=" ${PYTHON_REQUIRED_USE} "
-RESTRICT="!test? ( test )"
-
-RDEPEND="
- ${PYTHON_DEPS}
- $(python_gen_cond_dep '
- >=dev-python/pybind11-2.10[${PYTHON_USEDEP}]
- ')
-"
-DEPEND="${RDEPEND}"
-BDEPEND="
- >=dev-libs/libfmt-9.1.0
- test? ( >=dev-cpp/catch-3.0.1 )
-"
-
-src_prepare() {
- default
- # In order to compile smoothly, the minimum version of fmt must be lowered.
- sed -i \
- -e 's/set(fmt_min_version.*)/set(fmt_min_version "9.0")/' \
- "${S}/external/CMakeLists.txt" || die
- cmake_src_prepare
-}
-
-src_configure() {
- python_setup
- local mycmakeargs=(
- -D CMAKE_INSTALL_LIBDIR="${EPREFIX}/usr/$(get_libdir)"
- -D BUILD_SHARED_LIBS=ON
- -D SLANG_INCLUDE_PYLIB=$(usex python)
- -D SLANG_INCLUDE_TESTS=$(usex test)
- -D SLANG_USE_MIMALLOC=OFF
- )
- cmake_src_configure
-}
-
-src_install() {
- cmake_src_install
-
- if use python; then
- # fix python unexpected paths QA
- mkdir -p "${D}/$(python_get_sitedir)" || die
- mv "${D}"/usr/pyslang* "${D}/$(python_get_sitedir)" || die
- fi
-}
^ permalink raw reply related [flat|nested] 13+ messages in thread
* [gentoo-commits] repo/proj/guru:master commit in: sci-electronics/slang/
@ 2025-03-06 11:02 David Roman
0 siblings, 0 replies; 13+ messages in thread
From: David Roman @ 2025-03-06 11:02 UTC (permalink / raw
To: gentoo-commits
commit: eb63aa0249aa12a058871180c54509550237a09e
Author: Huang Rui <vowstar <AT> gmail <DOT> com>
AuthorDate: Thu Mar 6 05:19:24 2025 +0000
Commit: David Roman <davidroman96 <AT> gmail <DOT> com>
CommitDate: Thu Mar 6 05:19:24 2025 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=eb63aa02
sci-electronics/slang: fix 950641, add missing RDEPEND
- add missing RDEPEND dev-libs/libfmt:=
Closes: https://bugs.gentoo.org/950641
Signed-off-by: Huang Rui <vowstar <AT> gmail.com>
sci-electronics/slang/{slang-8.0.ebuild => slang-8.0-r1.ebuild} | 1 +
sci-electronics/slang/slang-9999.ebuild | 3 ++-
2 files changed, 3 insertions(+), 1 deletion(-)
diff --git a/sci-electronics/slang/slang-8.0.ebuild b/sci-electronics/slang/slang-8.0-r1.ebuild
similarity index 98%
rename from sci-electronics/slang/slang-8.0.ebuild
rename to sci-electronics/slang/slang-8.0-r1.ebuild
index fd3e2e4f1..28f1d9aa9 100644
--- a/sci-electronics/slang/slang-8.0.ebuild
+++ b/sci-electronics/slang/slang-8.0-r1.ebuild
@@ -32,6 +32,7 @@ RDEPEND="
$(python_gen_cond_dep '
>=dev-python/pybind11-2.10[${PYTHON_USEDEP}]
')
+ dev-libs/libfmt:=
"
DEPEND="${RDEPEND}"
BDEPEND="
diff --git a/sci-electronics/slang/slang-9999.ebuild b/sci-electronics/slang/slang-9999.ebuild
index b41d7e453..28f1d9aa9 100644
--- a/sci-electronics/slang/slang-9999.ebuild
+++ b/sci-electronics/slang/slang-9999.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2024 Gentoo Authors
+# Copyright 1999-2025 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI="8"
@@ -32,6 +32,7 @@ RDEPEND="
$(python_gen_cond_dep '
>=dev-python/pybind11-2.10[${PYTHON_USEDEP}]
')
+ dev-libs/libfmt:=
"
DEPEND="${RDEPEND}"
BDEPEND="
^ permalink raw reply related [flat|nested] 13+ messages in thread
end of thread, other threads:[~2025-03-06 11:02 UTC | newest]
Thread overview: 13+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2025-03-06 11:02 [gentoo-commits] repo/proj/guru:master commit in: sci-electronics/slang/ David Roman
-- strict thread matches above, loose matches on Subject: below --
2025-02-17 9:49 David Roman
2025-02-17 9:49 David Roman
2024-10-09 15:39 David Roman
2024-10-09 15:39 David Roman
2024-04-22 6:16 Viorel Munteanu
2024-03-02 7:10 Arthur Zamarin
2024-02-17 2:40 Rui Huang
2023-06-07 7:04 Viorel Munteanu
2023-06-07 7:04 Viorel Munteanu
2023-04-01 21:30 Haelwenn Monnier
2023-03-31 10:16 Florian Schmaus
2023-03-16 8:41 Florian Schmaus
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox