From 1798c4aeca70ac8d0a243684d6a798fbc65735f8 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@redcorelinux.org>
Date: Sat, 14 Jul 2018 20:57:42 +0100
Subject: gentoo resync : 14.07.2018

---
 dev-lang/maude/maude-2.7.ebuild | 57 -----------------------------------------
 1 file changed, 57 deletions(-)
 delete mode 100644 dev-lang/maude/maude-2.7.ebuild

(limited to 'dev-lang/maude/maude-2.7.ebuild')

diff --git a/dev-lang/maude/maude-2.7.ebuild b/dev-lang/maude/maude-2.7.ebuild
deleted file mode 100644
index c871a47748f1..000000000000
--- a/dev-lang/maude/maude-2.7.ebuild
+++ /dev/null
@@ -1,57 +0,0 @@
-# Copyright 1999-2016 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-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/${P^}.tar.gz
-	https://dev.gentoo.org/~jlec/distfiles/${PN}-2.6-extras.tar.xz"
-
-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}
-	sys-devel/bison
-	sys-devel/flex"
-
-S="${WORKDIR}/${P^}"
-
-PATCHES=(
-	"${FILESDIR}/${PN}-2.5.0-prll.patch"
-	"${FILESDIR}/${PN}-2.6-search-datadir.patch"
-	"${FILESDIR}/${PN}-2.7-bison-parse-param.patch"
-)
-
-src_prepare() {
-	default
-	sed -i -e "s:/usr:${EPREFIX}/usr:g" src/Mixfix/global.hh || die
-	eautoreconf
-}
-
-src_install() {
-	default
-
-	# install data and full maude
-	insinto /usr/share/${PN}
-	doins -r src/Main/*.maude
-	doins "${WORKDIR}"/${PN}-2.6-extras/full-maude.maude
-
-	# install docs and examples
-	use doc && dodoc -r "${WORKDIR}"/${PN}-2.6-extras/pdfs/.
-	if use examples; then
-		docinto examples
-		dodoc -r "${WORKDIR}"/${PN}-2.6-extras/{manual,primer}-examples
-		docompress -x /usr/share/doc/${PF}/examples
-	fi
-}
-- 
cgit v1.2.3