* [gentoo-commits] repo/gentoo:master commit in: dev-lang/maude/
@ 2016-10-07 22:38 David Seifert
0 siblings, 0 replies; 4+ messages in thread
From: David Seifert @ 2016-10-07 22:38 UTC (permalink / raw
To: gentoo-commits
commit: bdf1aa991523f36a9231c7660956cce6dd5b6935
Author: David Seifert <soap <AT> gentoo <DOT> org>
AuthorDate: Fri Oct 7 22:37:05 2016 +0000
Commit: David Seifert <soap <AT> gentoo <DOT> org>
CommitDate: Fri Oct 7 22:37:05 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bdf1aa99
dev-lang/maude: Add USE="cxx" dep for dev-lang/maude-2.7
Gentoo-bug: 595402
Package-Manager: portage-2.3.1
dev-lang/maude/maude-2.7.ebuild | 17 ++++++++---------
1 file changed, 8 insertions(+), 9 deletions(-)
diff --git a/dev-lang/maude/maude-2.7.ebuild b/dev-lang/maude/maude-2.7.ebuild
index b48d92e..e7a0f1f 100644
--- a/dev-lang/maude/maude-2.7.ebuild
+++ b/dev-lang/maude/maude-2.7.ebuild
@@ -4,14 +4,12 @@
EAPI=6
-inherit autotools versionator
-
-MYP="${PN/m/M}-$(get_version_component_range 1-2)"
+inherit autotools
DESCRIPTION="High-level specification language for equational and logic programming"
HOMEPAGE="http://maude.cs.uiuc.edu/"
SRC_URI="
- http://maude.cs.illinois.edu/w/images/2/2d/${MYP}.tar.gz
+ http://maude.cs.illinois.edu/w/images/2/2d/${P^}.tar.gz
https://dev.gentoo.org/~jlec/distfiles/${PN}-2.6-extras.tar.xz"
LICENSE="GPL-2"
@@ -20,7 +18,7 @@ KEYWORDS="~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux"
IUSE="doc examples"
RDEPEND="
- dev-libs/gmp:0=
+ dev-libs/gmp:0=[cxx]
dev-libs/libsigsegv
dev-libs/libtecla
sci-libs/buddy"
@@ -28,7 +26,7 @@ DEPEND="${RDEPEND}
sys-devel/bison
sys-devel/flex"
-S="${WORKDIR}/${MYP}"
+S="${WORKDIR}/${P^}"
PATCHES=(
"${FILESDIR}/${PN}-2.5.0-prll.patch"
@@ -51,9 +49,10 @@ src_install() {
doins "${WORKDIR}"/${PN}-2.6-extras/full-maude.maude
# install docs and examples
- use doc && dodoc "${WORKDIR}"/${PN}-2.6-extras/pdfs/*
+ use doc && dodoc -r "${WORKDIR}"/${PN}-2.6-extras/pdfs/.
if use examples; then
- insinto /usr/share/doc/${PF}/examples
- doins -r "${WORKDIR}"/${PN}-2.6-extras/{manual,primer}-examples
+ docinto examples
+ dodoc -r "${WORKDIR}"/${PN}-2.6-extras/{manual,primer}-examples
+ docompress -x /usr/share/doc/${PF}/examples
fi
}
^ permalink raw reply related [flat|nested] 4+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/maude/
@ 2016-10-08 12:13 David Seifert
0 siblings, 0 replies; 4+ messages in thread
From: David Seifert @ 2016-10-08 12:13 UTC (permalink / raw
To: gentoo-commits
commit: 0f50be687b5b3e9113eed10935ab40b9c8108ad0
Author: David Seifert <soap <AT> gentoo <DOT> org>
AuthorDate: Sat Oct 8 11:54:08 2016 +0000
Commit: David Seifert <soap <AT> gentoo <DOT> org>
CommitDate: Sat Oct 8 12:12:56 2016 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0f50be68
dev-lang/maude: Remove old ebuild
Package-Manager: portage-2.3.1
dev-lang/maude/Manifest | 1 -
dev-lang/maude/maude-2.6-r1.ebuild | 64 --------------------------------------
2 files changed, 65 deletions(-)
diff --git a/dev-lang/maude/Manifest b/dev-lang/maude/Manifest
index c2855e4..7507720 100644
--- a/dev-lang/maude/Manifest
+++ b/dev-lang/maude/Manifest
@@ -1,3 +1,2 @@
-DIST Maude-2.6.tar.gz 1600026 SHA256 a5ba79bf3d30565c874e80b3531b51a7e835b600e86cac82508a6eb9e15f4aa0 SHA512 3931a540f72acdf2de532eff7b55ba4c9496b38a4b036f4e37d16b860f87728d6df5b9e377fd3489e55f7c369bca5eb9cded9b7a75032c410eff9a6e85da3fab WHIRLPOOL 9bc2011cb167ac5a451fc043fcaccbbfbfb5cb71bbb804021c7286a6f315d8c6778b6a385c5c6e5566db18051e8c817f93f099f39e3077bd414b83cc8e78be9b
DIST Maude-2.7.tar.gz 1663708 SHA256 f5da81556c3180aee6a9cf4cef2f0b9bb2ff3b7fcc7bb103cb4ac3f5770b2b89 SHA512 eb5225a7ec75df5f79d1e9c0d78c33427c0cf07bea83dae9e559d6d4cfc85fb03985596daf0c9c8794b34859510482f93b855254c1a3c650ee7520a3530a2070 WHIRLPOOL 252b51f303e7d5d22226bbfa96e8a62bd94bccc92403f40fce990ce6d0e3e57305b9f823ef3cf5f43f4386a4ce326032c7c17e47a0a4ad8bf86538e2e1435fa3
DIST maude-2.6-extras.tar.xz 3157004 SHA256 64cd72026c345ff1c1edeca64f9a9fce8067e6df5eccdaeee4bfe7a0f07d3102 SHA512 0533f0f226057d2668052f360245f296d36129ec242ff0bfa91fada9db5bc347d276d3468c86fbac92f019f3a2f152c7cb4e58a7f1265c1fb5a8b1b496fac5cd WHIRLPOOL 7a5ea0bf49132ecb3b88f26432c8aedb7ce2f9632f4e9cbb5fa08ab36b65c9a165d58e4a880e8ea97eff91280e28fb01e224a61539b73b898f3e9b4cba34ce44
diff --git a/dev-lang/maude/maude-2.6-r1.ebuild b/dev-lang/maude/maude-2.6-r1.ebuild
deleted file mode 100644
index 7cfd77a..00000000
--- a/dev-lang/maude/maude-2.6-r1.ebuild
+++ /dev/null
@@ -1,64 +0,0 @@
-# Copyright 1999-2013 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-AUTOTOOLS_AUTORECONF=1
-AUTOTOOLS_IN_SOURCE_BUILD=1
-
-inherit autotools-utils versionator
-
-MYP="${PN/m/M}-$(get_version_component_range 1-2)"
-
-DESCRIPTION="High-level specification language for equational and logic programming"
-HOMEPAGE="http://maude.cs.uiuc.edu/"
-SRC_URI="
- http://maude.cs.uiuc.edu/download/current/${MYP}.tar.gz
- https://dev.gentoo.org/~jlec/distfiles/${P}-extras.tar.xz"
-
-LICENSE="GPL-2"
-SLOT="0"
-KEYWORDS="~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux"
-IUSE="doc examples"
-
-RDEPEND="
- >=dev-libs/gmp-4.1.3
- dev-libs/libsigsegv
- dev-libs/libtecla
- sci-libs/buddy"
-DEPEND="${RDEPEND}
- sys-devel/bison
- sys-devel/flex"
-
-S="${WORKDIR}/${MYP}"
-
-PATCHES=(
- "${FILESDIR}"/${PN}-2.5.0-prll.patch
- "${FILESDIR}"/${PN}-2.6-search-datadir.patch
- "${FILESDIR}"/${PN}-2.6-gcc47.patch
-)
-
-src_configure() {
- local myeconfargs=(
- --datadir="${EPREFIX}/usr/share/${PN}"
- )
- sed -i -e "s:/usr:${EPREFIX}/usr:g" src/Mixfix/global.hh || die
- autotools-utils_src_configure
-}
-
-src_install() {
- autotools-utils_src_install
-
- # install data and full maude
- insinto /usr/share/${PN}
- doins -r src/Main/*.maude
- doins "${WORKDIR}"/${P}-extras/full-maude.maude
-
- # install docs and examples
- use doc && doins -r "${WORKDIR}"/${P}-extras/pdfs/*
- if use examples; then
- insinto /usr/share/doc/${PF}/examples
- doins -r "${WORKDIR}"/${P}-extras/{manual,primer}-examples
- fi
-}
^ permalink raw reply related [flat|nested] 4+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/maude/
@ 2021-06-18 13:15 David Seifert
0 siblings, 0 replies; 4+ messages in thread
From: David Seifert @ 2021-06-18 13:15 UTC (permalink / raw
To: gentoo-commits
commit: debbda5802b419d2fc69305f281e2200e3daa43f
Author: David Seifert <soap <AT> gentoo <DOT> org>
AuthorDate: Fri Jun 18 13:15:06 2021 +0000
Commit: David Seifert <soap <AT> gentoo <DOT> org>
CommitDate: Fri Jun 18 13:15:06 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=debbda58
dev-lang/maude: Depend on dev-libs/gmp[cxx(+)]
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: David Seifert <soap <AT> gentoo.org>
dev-lang/maude/{maude-2.7.ebuild => maude-2.7-r1.ebuild} | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-lang/maude/maude-2.7.ebuild b/dev-lang/maude/maude-2.7-r1.ebuild
similarity index 98%
rename from dev-lang/maude/maude-2.7.ebuild
rename to dev-lang/maude/maude-2.7-r1.ebuild
index 72d88da7e51..6f5a91ef333 100644
--- a/dev-lang/maude/maude-2.7.ebuild
+++ b/dev-lang/maude/maude-2.7-r1.ebuild
@@ -17,7 +17,7 @@ KEYWORDS="~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux"
IUSE="doc examples"
RDEPEND="
- dev-libs/gmp:0=[cxx]
+ dev-libs/gmp:0=[cxx(+)]
dev-libs/libsigsegv
dev-libs/libtecla
sci-libs/buddy"
^ permalink raw reply related [flat|nested] 4+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-lang/maude/
@ 2021-11-12 4:28 Sam James
0 siblings, 0 replies; 4+ messages in thread
From: Sam James @ 2021-11-12 4:28 UTC (permalink / raw
To: gentoo-commits
commit: f021cc6cfa1e35eb9c59955830f1fd89bfcb26b4
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Fri Nov 12 04:16:21 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Fri Nov 12 04:28:48 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f021cc6c
dev-lang/maude: disable libsigsegv support (fixes glibc-2.34 build)
Closes: https://bugs.gentoo.org/806758
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-lang/maude/{maude-3.1.ebuild => maude-3.1-r1.ebuild} | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/dev-lang/maude/maude-3.1.ebuild b/dev-lang/maude/maude-3.1-r1.ebuild
similarity index 94%
rename from dev-lang/maude/maude-3.1.ebuild
rename to dev-lang/maude/maude-3.1-r1.ebuild
index 2fa97a9809b..1eb40d34140 100644
--- a/dev-lang/maude/maude-3.1.ebuild
+++ b/dev-lang/maude/maude-3.1-r1.ebuild
@@ -21,8 +21,7 @@ KEYWORDS="~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux"
IUSE="doc examples"
RDEPEND="
- dev-libs/gmp:0=[cxx(+)]
- dev-libs/libsigsegv
+ dev-libs/gmp:=[cxx(+)]
dev-libs/libtecla
sci-libs/buddy"
DEPEND="${RDEPEND}"
@@ -45,6 +44,8 @@ src_configure() {
local myconf=(
--datadir="${EPREFIX}/usr/share/${PN}"
--without-yices2
+ # Breaks glibc-2.34 support
+ --without-libsigsegv
)
econf "${myconf[@]}"
}
^ permalink raw reply related [flat|nested] 4+ messages in thread
end of thread, other threads:[~2021-11-12 4:29 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2021-06-18 13:15 [gentoo-commits] repo/gentoo:master commit in: dev-lang/maude/ David Seifert
-- strict thread matches above, loose matches on Subject: below --
2021-11-12 4:28 Sam James
2016-10-08 12:13 David Seifert
2016-10-07 22:38 David Seifert
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox