commit: 93c662187235db0223d958681c86239517e7d103
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Tue Mar 10 21:29:11 2026 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Tue Mar 10 21:51:11 2026 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=93c66218
dev-lang/maude: add 3.2.2
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-lang/maude/Manifest | 2 +
dev-lang/maude/files/maude-3.2.2-fileTest.patch | 9 ++++
dev-lang/maude/files/maude-3.2.2-prll.patch | 26 +++++++++
dev-lang/maude/maude-3.2.2.ebuild | 70 +++++++++++++++++++++++++
dev-lang/maude/metadata.xml | 3 ++
5 files changed, 110 insertions(+)
diff --git a/dev-lang/maude/Manifest b/dev-lang/maude/Manifest
index 5e04c25d9c5c..f1f3432dadb9 100644
--- a/dev-lang/maude/Manifest
+++ b/dev-lang/maude/Manifest
@@ -2,3 +2,5 @@ DIST Full-Maude-3.1.zip 161211 BLAKE2B
2aad284e1f2bc6e701154bd72c6eff1433fd040fd
DIST Maude-3.1-manual-book-examples.zip 267629 BLAKE2B
cb4c5d067b8b6787a575ec1e00bfdbfb846c787f4c48b207d9609db57c968acdd97f431110103aa16d764e8e1b59f0eb1f66df53d3b78562cf430f3a57b5541c
SHA512
69980145a41afd49e4a2c77a596d7fa91ed8e5acca049d799cdb0f265d95f1c3215776edb3a3ae94d84309c94735c7a187f681c2a2d3aa2fe0a7563634d34efa
DIST Maude-3.1-manual.pdf 2916925 BLAKE2B
da7f0d5bef8bff2e1f1afecd4bc7d062992d6a27e5437f488a50d35bce144a3ddb029bed3271d9696a36e6ab13b5a4f815e1a257a81005eb65d2927526630a29
SHA512
8b4b9bff8d266fad7b42b37c79cd72e4b642483298631f35a52b8bd669f318654382232b0da62485dc198789215fd5a364b583320789754eac9159d4cc2689ca
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
diff --git a/dev-lang/maude/files/maude-3.2.2-fileTest.patch
b/dev-lang/maude/files/maude-3.2.2-fileTest.patch
new file mode 100644
index 000000000000..1dc52ac28743
--- /dev/null
+++ b/dev-lang/maude/files/maude-3.2.2-fileTest.patch
@@ -0,0 +1,9 @@
+--- a/tests/Misc/Makefile.am 2026-03-10 21:50:41.187822537 +0100
++++ b/tests/Misc/Makefile.am 2026-03-10 21:51:01.355585373 +0100
+@@ -1,6 +1,5 @@
+ TESTS = \
+ directoryTest \
+- fileTest \
+ timeTest \
+ view \
+ parameterizedView \
diff --git a/dev-lang/maude/files/maude-3.2.2-prll.patch
b/dev-lang/maude/files/maude-3.2.2-prll.patch
new file mode 100644
index 000000000000..84e71f65cafd
--- /dev/null
+++ b/dev-lang/maude/files/maude-3.2.2-prll.patch
@@ -0,0 +1,26 @@
+--- a/src/Mixfix/Makefile.am
++++ b/src/Mixfix/Makefile.am
+@@ -82,7 +82,7 @@
+ EXTRA_libmixfix_a_SOURCES = \
+ compiler.cc
+
+-BUILT_SOURCES = surface.yy surface.cc surface.h lexer.cc tokenizer.cc
deserializer.cc
++BUILT_SOURCES = surface.yy surface.cc lexer.cc tokenizer.cc deserializer.cc
+ CLEANFILES = surface.yy surface.cc surface.h lexer.cc tokenizer.cc
deserializer.cc
+
+ surface.yy: \
+@@ -97,12 +97,12 @@
+ $(srcdir)/bottom.yy \
+ > surface.yy
+
+-surface.cc: surface.yy
++surface.cc: surface.h
+ $(BISON) -dv surface.yy -o surface.c
+ mv surface.c surface.cc
+ touch surface.h
+
+-surface.h: surface.cc
++surface.h: surface.yy
+
+ # According to the manual, automake is supposed to grok
+ # .ll files and do the right thing... but it doesn't
diff --git a/dev-lang/maude/maude-3.2.2.ebuild
b/dev-lang/maude/maude-3.2.2.ebuild
new file mode 100644
index 000000000000..dd387113361c
--- /dev/null
+++ b/dev-lang/maude/maude-3.2.2.ebuild
@@ -0,0 +1,70 @@
+# Copyright 1999-2026 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=9
+
+inherit autotools
+
+MY_P="${P^}"
+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/${PV}.tar.gz ->
${MY_P}.tar.gz
+ https://maude.cs.illinois.edu/w/images/0/0a/Full-Maude-3.1.zip
+ doc? ( ${GIO_DL}/Maude-3.2.1-manual.pdf )
+ examples? ( ${GIO_DL}/Maude-3.1-manual-book-examples.zip )"
+
+S="${WORKDIR}"/${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.1-curses.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}
+ newins "${WORKDIR}"/full-maude31.maude full-maude.maude
+
+ # install docs and examples
+ use doc && dodoc "${DISTDIR}"/Maude-3.2.1-manual.pdf
+ if use examples; then
+ dodoc -r "${WORKDIR}"/examples
+ docompress -x /usr/share/doc/${PF}/examples
+ fi
+}
diff --git a/dev-lang/maude/metadata.xml b/dev-lang/maude/metadata.xml
index 2f720265f903..10f31846f57d 100644
--- a/dev-lang/maude/metadata.xml
+++ b/dev-lang/maude/metadata.xml
@@ -13,4 +13,7 @@
sublanguage. Besides supporting equational specification and
programming, Maude also supports rewriting logic computation.
</longdescription>
+ <upstream>
+ <remote-id type="github">maude-lang/Maude</remote-id>
+ </upstream>
</pkgmetadata>
