diff options
| author |   David Seifert <soap@gentoo.org> | 2016-10-08 13:54:08 +0200 |
|---|---|---|
| committer | David Seifert <soap@gentoo.org> | 2016-10-08 14:12:56 +0200 |
| commit | 0f50be687b5b3e9113eed10935ab40b9c8108ad0 (patch) | |
| tree | 80a5b34cacfc46a31a4eb6daac9d902cb1f90889 /dev-lang/maude | |
| parent | sci-libs/scipy: Version bump to 0.18.1 (diff) | |
| download | gentoo-0f50be687b5b3e9113eed10935ab40b9c8108ad0.tar.gz gentoo-0f50be687b5b3e9113eed10935ab40b9c8108ad0.tar.bz2 gentoo-0f50be687b5b3e9113eed10935ab40b9c8108ad0.zip | |
dev-lang/maude: Remove old ebuild
Package-Manager: portage-2.3.1
Diffstat (limited to 'dev-lang/maude')
| -rw-r--r-- | dev-lang/maude/Manifest | 1 | ||||
| -rw-r--r-- | dev-lang/maude/maude-2.6-r1.ebuild | 64 |
2 files changed, 0 insertions, 65 deletions
diff --git a/dev-lang/maude/Manifest b/dev-lang/maude/Manifest index c2855e49ad4a..750772033da1 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 7cfd77abf5aa..000000000000 --- 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 -} |