* [gentoo-commits] repo/gentoo:master commit in: dev-lang/maude/, dev-lang/maude/files/
@ 2020-11-16 23:21 David Seifert
0 siblings, 0 replies; 2+ messages in thread
From: David Seifert @ 2020-11-16 23:21 UTC (permalink / raw
To: gentoo-commits
commit: 2bd9aac8ca1a4d4015815f1bed718a478b439d57
Author: Jakov Smolic <jakov.smolic <AT> sartura <DOT> hr>
AuthorDate: Mon Nov 16 23:21:15 2020 +0000
Commit: David Seifert <soap <AT> gentoo <DOT> org>
CommitDate: Mon Nov 16 23:21:15 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bd9aac8
dev-lang/maude: respect AR
Closes: https://github.com/gentoo/gentoo/pull/18281
Closes: https://bugs.gentoo.org/722966
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Jakov Smolic <jakov.smolic <AT> sartura.hr>
Signed-off-by: David Seifert <soap <AT> gentoo.org>
dev-lang/maude/files/maude-2.7-AR.patch | 10 ++++++++++
dev-lang/maude/maude-2.7.ebuild | 3 ++-
2 files changed, 12 insertions(+), 1 deletion(-)
diff --git a/dev-lang/maude/files/maude-2.7-AR.patch b/dev-lang/maude/files/maude-2.7-AR.patch
new file mode 100644
index 00000000000..0d172c8a8c4
--- /dev/null
+++ b/dev-lang/maude/files/maude-2.7-AR.patch
@@ -0,0 +1,10 @@
+--- a/configure.ac
++++ b/configure.ac
+@@ -42,6 +42,7 @@ fi
+ #
+ AC_PROG_CC
+ AC_PROG_CXX
++AM_PROG_AR
+ if (test "$GXX" = yes) then
+ AC_MSG_CHECKING([g++ compiler version])
+ GXX_VERSION=`$CXX -dumpversion`
diff --git a/dev-lang/maude/maude-2.7.ebuild b/dev-lang/maude/maude-2.7.ebuild
index c871a47748f..01957fb2a5e 100644
--- a/dev-lang/maude/maude-2.7.ebuild
+++ b/dev-lang/maude/maude-2.7.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2016 Gentoo Foundation
+# Copyright 1999-2020 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=6
@@ -31,6 +31,7 @@ PATCHES=(
"${FILESDIR}/${PN}-2.5.0-prll.patch"
"${FILESDIR}/${PN}-2.6-search-datadir.patch"
"${FILESDIR}/${PN}-2.7-bison-parse-param.patch"
+ "${FILESDIR}/${PN}-2.7-AR.patch"
)
src_prepare() {
^ permalink raw reply related [flat|nested] 2+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/maude/, dev-lang/maude/files/
@ 2021-07-21 15:39 Marek Szuba
0 siblings, 0 replies; 2+ messages in thread
From: Marek Szuba @ 2021-07-21 15:39 UTC (permalink / raw
To: gentoo-commits
commit: b6357d205ad3fea4482b9745c34bf451e5342066
Author: Marek Szuba <marecki <AT> gentoo <DOT> org>
AuthorDate: Wed Jul 21 13:51:58 2021 +0000
Commit: Marek Szuba <marecki <AT> gentoo <DOT> org>
CommitDate: Wed Jul 21 15:39:02 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b6357d20
dev-lang/maude: add 3.1
Signed-off-by: Marek Szuba <marecki <AT> gentoo.org>
dev-lang/maude/Manifest | 4 ++
dev-lang/maude/files/maude-3.1-prll.patch | 22 +++++++++++
dev-lang/maude/maude-3.1.ebuild | 65 +++++++++++++++++++++++++++++++
3 files changed, 91 insertions(+)
diff --git a/dev-lang/maude/Manifest b/dev-lang/maude/Manifest
index bc759b1c6b7..79dca7d0994 100644
--- a/dev-lang/maude/Manifest
+++ b/dev-lang/maude/Manifest
@@ -1,2 +1,6 @@
+DIST Full-Maude-3.1.zip 161211 BLAKE2B 2aad284e1f2bc6e701154bd72c6eff1433fd040fd0f97252485c954b5e1fb33f71555c5587ceec2f3f3e44c8d7b760c9f62f40f53577f19c4cc51a2159b01674 SHA512 fb0c0e30d3df830b60ece67c2fc5655c5e3f1377a269ce8acfc45fdfa0d42f3fe3fbf4038758b35598d82e7f47af5f24507b3ebe2a30dcb8722e61e6315248c3
DIST Maude-2.7.tar.gz 1663708 BLAKE2B 5fd87cbd7ef2f86f4a7095334fd996109c72caaed44a894138803b76220325400920654924cb8645ed846b4d997dd2cf827d489ef7c4eef73ee22cb4e6e5a5dc SHA512 eb5225a7ec75df5f79d1e9c0d78c33427c0cf07bea83dae9e559d6d4cfc85fb03985596daf0c9c8794b34859510482f93b855254c1a3c650ee7520a3530a2070
+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-2.6-extras.tar.xz 3157004 BLAKE2B d735366071194eb7fd22c11628672aba38cc8c7f4460e4ec8806e27c2e1416e1a2a5fa93efd01c305bf36e0ce799578688c5ac87b5459e979323df6f60305902 SHA512 0533f0f226057d2668052f360245f296d36129ec242ff0bfa91fada9db5bc347d276d3468c86fbac92f019f3a2f152c7cb4e58a7f1265c1fb5a8b1b496fac5cd
diff --git a/dev-lang/maude/files/maude-3.1-prll.patch b/dev-lang/maude/files/maude-3.1-prll.patch
new file mode 100644
index 00000000000..22af2889913
--- /dev/null
+++ b/dev-lang/maude/files/maude-3.1-prll.patch
@@ -0,0 +1,22 @@
+--- 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
++BUILT_SOURCES = surface.cc lexer.cc tokenizer.cc
+ CLEANFILES = surface.yy surface.cc surface.h lexer.cc tokenizer.cc
+
+ surface.yy: \
+@@ -97,7 +97,9 @@
+ $(srcdir)/bottom.yy \
+ > surface.yy
+
+-surface.cc surface.h: surface.yy
++surface.h: surface.yy
++
++surface.cc: surface.h
+ $(BISON) -dv surface.yy -o surface.c
+ mv surface.c surface.cc
+
diff --git a/dev-lang/maude/maude-3.1.ebuild b/dev-lang/maude/maude-3.1.ebuild
new file mode 100644
index 00000000000..2fa97a9809b
--- /dev/null
+++ b/dev-lang/maude/maude-3.1.ebuild
@@ -0,0 +1,65 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit autotools
+
+MY_P="${P^}"
+
+DESCRIPTION="High-level specification language for equational and logic programming"
+HOMEPAGE="https://maude.cs.uiuc.edu/"
+SRC_URI="
+ https://maude.cs.illinois.edu/w/images/d/d3/${MY_P}.tar.gz
+ https://maude.cs.illinois.edu/w/images/0/0a/Full-${MY_P}.zip
+ doc? ( https://maude.cs.illinois.edu/w/images/6/62/${MY_P}-manual.pdf )
+ examples? ( https://maude.cs.illinois.edu/w/images/4/4f/${MY_P}-manual-book-examples.zip )"
+
+LICENSE="GPL-2"
+SLOT="0"
+KEYWORDS="~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux"
+IUSE="doc examples"
+
+RDEPEND="
+ dev-libs/gmp:0=[cxx(+)]
+ dev-libs/libsigsegv
+ dev-libs/libtecla
+ sci-libs/buddy"
+DEPEND="${RDEPEND}"
+BDEPEND="app-arch/unzip
+ sys-devel/bison
+ sys-devel/flex"
+
+PATCHES=(
+ "${FILESDIR}/${PN}-2.6-search-datadir.patch"
+ "${FILESDIR}/${PN}-2.7-AR.patch"
+ "${FILESDIR}/${PN}-3.1-prll.patch"
+)
+
+src_prepare() {
+ default
+ eautoreconf
+}
+
+src_configure() {
+ local myconf=(
+ --datadir="${EPREFIX}/usr/share/${PN}"
+ --without-yices2
+ )
+ econf "${myconf[@]}"
+}
+
+src_install() {
+ default
+
+ # install full maude
+ insinto /usr/share/${PN}
+ newins "${WORKDIR}"/full-maude${PV//./}.maude full-maude.maude
+
+ # install docs and examples
+ use doc && dodoc "${DISTDIR}"/${MY_P}-manual.pdf
+ if use examples; then
+ dodoc -r "${WORKDIR}"/examples
+ docompress -x /usr/share/doc/${PF}/examples
+ fi
+}
^ permalink raw reply related [flat|nested] 2+ messages in thread
end of thread, other threads:[~2021-07-21 15:39 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2021-07-21 15:39 [gentoo-commits] repo/gentoo:master commit in: dev-lang/maude/, dev-lang/maude/files/ Marek Szuba
-- strict thread matches above, loose matches on Subject: below --
2020-11-16 23:21 David Seifert
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox