Adding metadata

4 files changed, 110 insertions, 96 deletions

diff --git a/sci-mathematics/alectryon/Manifest b/sci-mathematics/alectryon/Manifest
index 77bdaf1a36dc..b470b670d46e 100644
--- a/sci-mathematics/alectryon/Manifest
+++ b/sci-mathematics/alectryon/Manifest
@@ -1 +1 @@
-DIST alectryon-1.4.0.tar.gz 312436 BLAKE2B 7f1e58670fbba0b31a4e4bc6502dffa72931ae3495c38b53987406a05aac9d3d1a34d75c89b7b85a6122ee6a7ce30970f8cf3190a5916e416e56854313077d4c SHA512 1310a04c8584147b38af8edb19cc95bd71043f5d00f55cbf4d5649dad9eede5bd01dba6fb23b85acf7cb9e9619fd01e5f83d8d37064f0b43f706589b9ec8aeef
+DIST alectryon-2.0.0.gh.tar.gz 449071 BLAKE2B 5dafc1d8f9cc16ed5ca537f595b9bb0841a421cd72e13aa573389496bc106bee680b4ff4549fc0749506de7e263de9ad9f54478eae9bdaf3d8f398ca5f3ad885 SHA512 29a5f6a719bb9079f9fe61db4718e40fda0d1eea1e241333e042e2173618b484cc94fb07a008bc3d5a9d9d3872cf2f70176404f61647afee9a3c1060802dbeef
diff --git a/sci-mathematics/alectryon/alectryon-1.4.0-r2.ebuild b/sci-mathematics/alectryon/alectryon-1.4.0-r2.ebuild
deleted file mode 100644
index ae201bf0d475..000000000000
--- a/sci-mathematics/alectryon/alectryon-1.4.0-r2.ebuild
+++ /dev/null
@@ -1,84 +0,0 @@
-# Copyright 1999-2025 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DISTUTILS_USE_PEP517=setuptools
-PYTHON_COMPAT=( python3_{10..14} )
-
-inherit elisp-common distutils-r1
-
-DESCRIPTION="Toolkit for literate programming in Coq"
-HOMEPAGE="https://github.com/cpitclaudel/alectryon/"
-
-if [[ "${PV}" == *9999* ]] ; then
-	inherit git-r3
-
-	EGIT_REPO_URI="https://github.com/cpitclaudel/${PN}.git"
-else
-	SRC_URI="https://github.com/cpitclaudel/${PN}/archive/v${PV}.tar.gz
-		-> ${P}.tar.gz"
-
-	KEYWORDS="~amd64"
-fi
-
-LICENSE="MIT"
-SLOT="0"
-IUSE="doc emacs"
-
-RDEPEND="
-	dev-python/beautifulsoup4[${PYTHON_USEDEP}]
-	dev-python/docutils[${PYTHON_USEDEP}]
-	dev-python/dominate[${PYTHON_USEDEP}]
-	dev-python/myst-parser[${PYTHON_USEDEP}]
-	dev-python/pygments[${PYTHON_USEDEP}]
-	dev-python/sphinx[${PYTHON_USEDEP}]
-	sci-mathematics/coq-serapi
-"
-DEPEND="
-	${RDEPEND}
-"
-BDEPEND="
-	emacs? (
-		>=app-editors/emacs-23.1:*
-		app-emacs/flycheck
-		app-emacs/proofgeneral
-	)
-"
-
-DOCS=( CHANGES.rst CITATION.bib README.rst )
-PATCHES=( "${FILESDIR}/${P}-setup.cfg-version.patch" )
-SITEFILE="50${PN}-gentoo.el"
-
-src_compile() {
-	distutils-r1_src_compile
-
-	use doc && emake -C ./recipes/sphinx latexpdf
-	use emacs && elisp-compile ./etc/elisp/alectryon.el
-}
-
-src_install() {
-	distutils-r1_src_install
-	einstalldocs
-
-	if use doc ; then
-		docinto html
-		dodoc ./recipes/sphinx/_build/html/*
-		docinto pdf
-		dodoc ./recipes/sphinx/_build/latex/alectryon-demo.pdf
-		docinto latex
-		dodoc ./recipes/sphinx/_build/latex/alectryon-demo.tex
-	fi
-	if use emacs ; then
-		elisp-install "${PN}" ./etc/elisp/${PN}.el{,c}
-		elisp-site-file-install "${FILESDIR}/${SITEFILE}"
-	fi
-}
-
-pkg_postinst() {
-	use emacs && elisp-site-regen
-}
-
-pkg_postrm() {
-	use emacs && elisp-site-regen
-}
diff --git a/sci-mathematics/alectryon/alectryon-2.0.0.ebuild b/sci-mathematics/alectryon/alectryon-2.0.0.ebuild
new file mode 100644
index 000000000000..83d6af349161
--- /dev/null
+++ b/sci-mathematics/alectryon/alectryon-2.0.0.ebuild
@@ -0,0 +1,109 @@
+# Copyright 1999-2026 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DISTUTILS_USE_PEP517="setuptools"
+PYTHON_COMPAT=( python3_{10..14} )
+
+inherit elisp-common distutils-r1
+
+DESCRIPTION="Toolkit for literate programming in Coq/Rocq"
+HOMEPAGE="https://github.com/cpitclaudel/alectryon/"
+
+if [[ "${PV}" == *9999* ]] ; then
+	inherit git-r3
+
+	EGIT_REPO_URI="https://github.com/cpitclaudel/${PN}"
+else
+	SRC_URI="https://github.com/cpitclaudel/${PN}/archive/v${PV}.tar.gz
+		-> ${P}.gh.tar.gz"
+
+	KEYWORDS="~amd64"
+fi
+
+LICENSE="MIT"
+SLOT="0"
+IUSE="doc emacs"
+
+RDEPEND="
+	>=dev-python/beautifulsoup4-4.11.2[${PYTHON_USEDEP}]
+	>=dev-python/docutils-0.19[${PYTHON_USEDEP}]
+	>=dev-python/dominate-2.7.0[${PYTHON_USEDEP}]
+	>=dev-python/myst-parser-1.0.0[${PYTHON_USEDEP}]
+	>=dev-python/pygments-2.14.0[${PYTHON_USEDEP}]
+	>=dev-python/sphinx-6.1.3[${PYTHON_USEDEP}]
+"
+BDEPEND="
+	${RDEPEND}
+	doc? (
+		dev-texlive/texlive-xetex
+		media-fonts/fira-code
+		media-fonts/libertine
+	)
+	emacs? (
+		app-emacs/flycheck
+		app-emacs/proofgeneral
+	)
+"
+
+DOCS=( CHANGES.rst CITATION.bib README.rst )
+SITEFILE="50${PN}-gentoo.el"
+
+src_prepare() {
+	# This apparently cleans latex run clutter. We do not need it.
+	sed -e "s|texfot --tee=/dev/null --no-stderr||g" \
+		-i ./recipes/Makefile ./recipes/sphinx/Makefile \
+		|| die
+
+	# Needs unpackaged binaries.
+	sed -e "s|test_validation|__test_validation|g" \
+		-i ./recipes/tests/unit.py \
+		|| die
+
+	distutils-r1_src_prepare
+}
+
+src_compile() {
+	distutils-r1_src_compile
+
+	if use emacs ; then
+		elisp-compile ./etc/elisp/alectryon.el
+	fi
+
+	if use doc ; then
+		emake -C ./recipes/sphinx TEXFOT="" latexpdf
+	fi
+}
+
+python_test() {
+	"${EPYTHON}" -m unittest -v ./recipes/tests/unit.py \
+		|| die "Tests failed with ${EPYTHON}"
+}
+
+src_install() {
+	distutils-r1_src_install
+	einstalldocs
+
+	if use emacs ; then
+		elisp-install "${PN}" ./etc/elisp/${PN}.el{,c}
+		elisp-site-file-install "${FILESDIR}/${SITEFILE}"
+	fi
+
+	if use doc ; then
+		docinto html
+		dodoc ./recipes/sphinx/_build/html/*
+		docinto pdf
+		dodoc ./recipes/sphinx/_build/latex/alectryon-demo.pdf
+		docinto latex
+		dodoc ./recipes/sphinx/_build/latex/alectryon-demo.tex
+	fi
+}
+
+pkg_postinst() {
+	use emacs && elisp-site-regen
+}
+
+pkg_postrm() {
+	use emacs && elisp-site-regen
+}
diff --git a/sci-mathematics/alectryon/files/alectryon-1.4.0-setup.cfg-version.patch b/sci-mathematics/alectryon/files/alectryon-1.4.0-setup.cfg-version.patch
deleted file mode 100644
index 9445c0857f0d..000000000000
--- a/sci-mathematics/alectryon/files/alectryon-1.4.0-setup.cfg-version.patch
+++ /dev/null
@@ -1,11 +0,0 @@
-index 1a25a92..066089b 100644
---- a/setup.cfg
-+++ b/setup.cfg
-@@ -1,6 +1,6 @@
- [metadata]
- name = alectryon
--version = attr: alectryon.__version__
-+version = attr: alectryon.__init__.__version__
- description = A library to process Coq snippets embedded in documents, showing goals and messages for each Coq sentence.
- long_description = file: README.rst
- url = https://github.com/cpitclaudel/alectryon