| 1 |
commit: 0f50be687b5b3e9113eed10935ab40b9c8108ad0 |
| 2 |
Author: David Seifert <soap <AT> gentoo <DOT> org> |
| 3 |
AuthorDate: Sat Oct 8 11:54:08 2016 +0000 |
| 4 |
Commit: David Seifert <soap <AT> gentoo <DOT> org> |
| 5 |
CommitDate: Sat Oct 8 12:12:56 2016 +0000 |
| 6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0f50be68 |
| 7 |
|
| 8 |
dev-lang/maude: Remove old ebuild |
| 9 |
|
| 10 |
Package-Manager: portage-2.3.1 |
| 11 |
|
| 12 |
dev-lang/maude/Manifest | 1 - |
| 13 |
dev-lang/maude/maude-2.6-r1.ebuild | 64 -------------------------------------- |
| 14 |
2 files changed, 65 deletions(-) |
| 15 |
|
| 16 |
diff --git a/dev-lang/maude/Manifest b/dev-lang/maude/Manifest |
| 17 |
index c2855e4..7507720 100644 |
| 18 |
--- a/dev-lang/maude/Manifest |
| 19 |
+++ b/dev-lang/maude/Manifest |
| 20 |
@@ -1,3 +1,2 @@ |
| 21 |
-DIST Maude-2.6.tar.gz 1600026 SHA256 a5ba79bf3d30565c874e80b3531b51a7e835b600e86cac82508a6eb9e15f4aa0 SHA512 3931a540f72acdf2de532eff7b55ba4c9496b38a4b036f4e37d16b860f87728d6df5b9e377fd3489e55f7c369bca5eb9cded9b7a75032c410eff9a6e85da3fab WHIRLPOOL 9bc2011cb167ac5a451fc043fcaccbbfbfb5cb71bbb804021c7286a6f315d8c6778b6a385c5c6e5566db18051e8c817f93f099f39e3077bd414b83cc8e78be9b |
| 22 |
DIST Maude-2.7.tar.gz 1663708 SHA256 f5da81556c3180aee6a9cf4cef2f0b9bb2ff3b7fcc7bb103cb4ac3f5770b2b89 SHA512 eb5225a7ec75df5f79d1e9c0d78c33427c0cf07bea83dae9e559d6d4cfc85fb03985596daf0c9c8794b34859510482f93b855254c1a3c650ee7520a3530a2070 WHIRLPOOL 252b51f303e7d5d22226bbfa96e8a62bd94bccc92403f40fce990ce6d0e3e57305b9f823ef3cf5f43f4386a4ce326032c7c17e47a0a4ad8bf86538e2e1435fa3 |
| 23 |
DIST maude-2.6-extras.tar.xz 3157004 SHA256 64cd72026c345ff1c1edeca64f9a9fce8067e6df5eccdaeee4bfe7a0f07d3102 SHA512 0533f0f226057d2668052f360245f296d36129ec242ff0bfa91fada9db5bc347d276d3468c86fbac92f019f3a2f152c7cb4e58a7f1265c1fb5a8b1b496fac5cd WHIRLPOOL 7a5ea0bf49132ecb3b88f26432c8aedb7ce2f9632f4e9cbb5fa08ab36b65c9a165d58e4a880e8ea97eff91280e28fb01e224a61539b73b898f3e9b4cba34ce44 |
| 24 |
|
| 25 |
diff --git a/dev-lang/maude/maude-2.6-r1.ebuild b/dev-lang/maude/maude-2.6-r1.ebuild |
| 26 |
deleted file mode 100644 |
| 27 |
index 7cfd77a..00000000 |
| 28 |
--- a/dev-lang/maude/maude-2.6-r1.ebuild |
| 29 |
+++ /dev/null |
| 30 |
@@ -1,64 +0,0 @@ |
| 31 |
-# Copyright 1999-2013 Gentoo Foundation |
| 32 |
-# Distributed under the terms of the GNU General Public License v2 |
| 33 |
-# $Id$ |
| 34 |
- |
| 35 |
-EAPI=5 |
| 36 |
- |
| 37 |
-AUTOTOOLS_AUTORECONF=1 |
| 38 |
-AUTOTOOLS_IN_SOURCE_BUILD=1 |
| 39 |
- |
| 40 |
-inherit autotools-utils versionator |
| 41 |
- |
| 42 |
-MYP="${PN/m/M}-$(get_version_component_range 1-2)" |
| 43 |
- |
| 44 |
-DESCRIPTION="High-level specification language for equational and logic programming" |
| 45 |
-HOMEPAGE="http://maude.cs.uiuc.edu/" |
| 46 |
-SRC_URI=" |
| 47 |
- http://maude.cs.uiuc.edu/download/current/${MYP}.tar.gz |
| 48 |
- https://dev.gentoo.org/~jlec/distfiles/${P}-extras.tar.xz" |
| 49 |
- |
| 50 |
-LICENSE="GPL-2" |
| 51 |
-SLOT="0" |
| 52 |
-KEYWORDS="~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux" |
| 53 |
-IUSE="doc examples" |
| 54 |
- |
| 55 |
-RDEPEND=" |
| 56 |
- >=dev-libs/gmp-4.1.3 |
| 57 |
- dev-libs/libsigsegv |
| 58 |
- dev-libs/libtecla |
| 59 |
- sci-libs/buddy" |
| 60 |
-DEPEND="${RDEPEND} |
| 61 |
- sys-devel/bison |
| 62 |
- sys-devel/flex" |
| 63 |
- |
| 64 |
-S="${WORKDIR}/${MYP}" |
| 65 |
- |
| 66 |
-PATCHES=( |
| 67 |
- "${FILESDIR}"/${PN}-2.5.0-prll.patch |
| 68 |
- "${FILESDIR}"/${PN}-2.6-search-datadir.patch |
| 69 |
- "${FILESDIR}"/${PN}-2.6-gcc47.patch |
| 70 |
-) |
| 71 |
- |
| 72 |
-src_configure() { |
| 73 |
- local myeconfargs=( |
| 74 |
- --datadir="${EPREFIX}/usr/share/${PN}" |
| 75 |
- ) |
| 76 |
- sed -i -e "s:/usr:${EPREFIX}/usr:g" src/Mixfix/global.hh || die |
| 77 |
- autotools-utils_src_configure |
| 78 |
-} |
| 79 |
- |
| 80 |
-src_install() { |
| 81 |
- autotools-utils_src_install |
| 82 |
- |
| 83 |
- # install data and full maude |
| 84 |
- insinto /usr/share/${PN} |
| 85 |
- doins -r src/Main/*.maude |
| 86 |
- doins "${WORKDIR}"/${P}-extras/full-maude.maude |
| 87 |
- |
| 88 |
- # install docs and examples |
| 89 |
- use doc && doins -r "${WORKDIR}"/${P}-extras/pdfs/* |
| 90 |
- if use examples; then |
| 91 |
- insinto /usr/share/doc/${PF}/examples |
| 92 |
- doins -r "${WORKDIR}"/${P}-extras/{manual,primer}-examples |
| 93 |
- fi |
| 94 |
-} |
Archives