commit: 32f28bfa142fd0916e00fe1e9e8f45b1b78877fa
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Tue Mar 10 23:06:12 2026 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Tue Mar 10 23:06:25 2026 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=32f28bfa
dev-lang/maude: add 3.3.1
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-lang/maude/Manifest | 2 ++
dev-lang/maude/maude-3.3.1.ebuild | 68 +++++++++++++++++++++++++++++++++++++++
2 files changed, 70 insertions(+)
diff --git a/dev-lang/maude/Manifest b/dev-lang/maude/Manifest
index f1f3432dadb9..f3a704aacc6f 100644
--- a/dev-lang/maude/Manifest
+++ b/dev-lang/maude/Manifest
@@ -4,3 +4,5 @@ DIST Maude-3.1-manual.pdf 2916925 BLAKE2B
da7f0d5bef8bff2e1f1afecd4bc7d062992d6a
DIST Maude-3.1.tar.gz 2335693 BLAKE2B
3bc9744d95448e4dfc2f818944ab66dad84b026ad18a4324b25eafc82f6c2c637b81fa73d03da61ee7f3753bb3c650e1838b56c502c85c91e2507a697bcfbbc0
SHA512
34dba3c3b7eed48d0c82c6d5e4dade08bd11dc57b436f04e94842000809b9b6086f8077bccbfac0313e4a4f361b03c3ef3d56e6df6242ae42427dd674566a3bc
DIST Maude-3.2.1-manual.pdf 2977775 BLAKE2B
327f3e3968facc8e5f5e59f488011ad69fdd4af2252b37b24d586e673a43401fba31fb0c5448f2a94a2fab565cb1e3725a0c8407bc2108d6eec1267037851146
SHA512
52e92a32dc36788c1b8f275864d933204b890a00c2abf8cc4846a7409a744c01d4c21c448a33b5217f69fff239f363871cc7180ca0ce452d51cdcc0358eb32ec
DIST Maude-3.2.2.tar.gz 2412498 BLAKE2B
c6c22a9ad8fb142005e908f0260320120c35631c716417e73e95e96fdf8328ed8fc088dc9d73357e01f7a3e92e9bb961de257e72a54f3588da01c7484c5da5b3
SHA512
0414a5cbd0a2cd74b34abbd8072d5564f87f10bcf0d1b59b5e478ffc4d60f13eba9b47387b7efa85f6d5823fff5b436da13daf3b4d8dcbe973325e5afc5a28fe
+DIST Maude-3.3.1-manual.pdf 2860773 BLAKE2B
6997d8ff340faa275902b0a6fc14f7e4a5ccb3978f866d46dddc48a74b24eed1c969ab453942b2ac8608b65ee0b3d85b64568d04a203cdf060e77417d34dd973
SHA512
cbc06f1d46644ac64a6b88c6e6350a09c4e09a1c2afca9142ff58326cc977c27844c706d83ab0e4bfc1ef4e55a6b8a7e93128ec4da295e161abbb33d0c11bb9d
+DIST Maude3.3.1.tar.gz 2520151 BLAKE2B
6b6e7d092e73cc83221ef2fe5f4dc8462a2df64a359982632ce4054cee4ff5f11b852df5693b24385a0c5c5ee7b7921789d6141037ba20edb9ab115b8b2ecea3
SHA512
7a0c989c9da58d057793dfd428f06a34c1dae142fc181ee94a030a8cc3056b3f120d1b63a29a5d3bc0a6bd0007b7aecdfd7323e1e410ee42f2bdac6b91e880b2
diff --git a/dev-lang/maude/maude-3.3.1.ebuild
b/dev-lang/maude/maude-3.3.1.ebuild
new file mode 100644
index 000000000000..2578f11dc174
--- /dev/null
+++ b/dev-lang/maude/maude-3.3.1.ebuild
@@ -0,0 +1,68 @@
+# Copyright 1999-2026 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=9
+
+inherit autotools
+
+MY_PN=${PN^}
+MY_P=${MY_PN}${PV}
+GIO_DL="https://github.com/maude-lang/maude-lang.github.io/releases/download/maude";
+
+DESCRIPTION="High-level specification language for equational and logic
programming"
+HOMEPAGE="https://maude.cs.uiuc.edu/";
+SRC_URI="https://github.com/maude-lang/Maude/archive/refs/tags/${MY_P}.tar.gz
+ doc? ( ${GIO_DL}/${P^}-manual.pdf )
+ examples? ( ${GIO_DL}/Maude-3.1-manual-book-examples.zip )"
+
+S="${WORKDIR}"/${MY_PN}-${MY_P}
+
+LICENSE="GPL-2"
+SLOT="0"
+KEYWORDS="~amd64 ~ppc ~x86"
+IUSE="doc examples"
+
+RDEPEND="
+ dev-libs/gmp:=[cxx(+)]
+ dev-libs/libtecla
+ sci-libs/buddy"
+DEPEND="${RDEPEND}"
+BDEPEND="app-arch/unzip
+ app-alternatives/yacc
+ app-alternatives/lex"
+
+PATCHES=(
+ "${FILESDIR}/${PN}-2.6-search-datadir.patch"
+ "${FILESDIR}/${PN}-2.7-AR.patch"
+ "${FILESDIR}/${PN}-3.2.2-prll.patch"
+ "${FILESDIR}/${PN}-3.2.2-fileTest.patch" # Drop a test
+)
+
+src_prepare() {
+ default
+ eautoreconf
+}
+
+src_configure() {
+ local myconf=(
+ --datadir="${EPREFIX}/usr/share/${PN}"
+ --without-yices2
+ # Breaks glibc-2.34 support
+ --without-libsigsegv
+ )
+ econf "${myconf[@]}"
+}
+
+src_install() {
+ default
+
+ # install full maude
+ insinto /usr/share/${PN}
+
+ # install docs and examples
+ use doc && dodoc "${DISTDIR}"/${P^}-manual.pdf
+ if use examples; then
+ dodoc -r "${WORKDIR}"/examples
+ docompress -x /usr/share/doc/${PF}/examples
+ fi
+}
