Drop old.

(Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key 611FF3AA)

3 files changed, 5 insertions, 142 deletions

diff --git a/sci-mathematics/agda-stdlib/ChangeLog b/sci-mathematics/agda-stdlib/ChangeLog
index 60e2aa812b0a..1cde547cc210 100644
--- a/sci-mathematics/agda-stdlib/ChangeLog
+++ b/sci-mathematics/agda-stdlib/ChangeLog
@@ -1,6 +1,10 @@
 # ChangeLog for sci-mathematics/agda-stdlib
 # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v 1.8 2015/01/30 03:04:58 patrick Exp $
+# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v 1.9 2015/08/02 10:49:32 slyfox Exp $
+
+  02 Aug 2015; Sergei Trofimovich <slyfox@gentoo.org>
+  -agda-stdlib-0.7-r1.ebuild, -agda-stdlib-0.7.ebuild:
+  Drop old.
 
   30 Jan 2015; Patrick Lauer <patrick@gentoo.org> -agda-stdlib-0.6.ebuild:
   Remove old version with unsatisfied dependencies
diff --git a/sci-mathematics/agda-stdlib/agda-stdlib-0.7-r1.ebuild b/sci-mathematics/agda-stdlib/agda-stdlib-0.7-r1.ebuild
deleted file mode 100644
index 89c9da53abc3..000000000000
--- a/sci-mathematics/agda-stdlib/agda-stdlib-0.7-r1.ebuild
+++ /dev/null
@@ -1,82 +0,0 @@
-# Copyright 1999-2013 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/agda-stdlib-0.7-r1.ebuild,v 1.1 2013/12/10 11:46:28 gienah Exp $
-
-EAPI=5
-
-CABAL_FEATURES="bin"
-inherit haskell-cabal elisp-common
-
-DESCRIPTION="Agda standard library"
-HOMEPAGE="http://wiki.portal.chalmers.se/agda/"
-SRC_URI="http://www.cse.chalmers.se/~nad/software/lib-${PV}.tar.gz"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-IUSE="profile"
-
-# filemanip is used in lib.cabal to make the GenerateEverything and
-# AllNonAsciiChars executables, so agda-stdlib does not require a subslot
-# dependency on filemanip.
-
-RDEPEND="=sci-mathematics/agda-2.3.2*:=[profile?]
-	=dev-haskell/filemanip-0.3*[profile?]
-	>=sci-mathematics/agda-executable-2.3.0.1:=
-	>=dev-lang/ghc-6.12.1
-"
-DEPEND="${RDEPEND}
-	>=dev-haskell/cabal-1.8.0.2
-"
-
-SITEFILE="50${PN}-gentoo.el"
-
-S="${WORKDIR}/lib-${PV}"
-
-src_prepare() {
-	cabal-mksetup
-}
-
-src_configure() {
-	haskell-cabal_src_configure
-	pushd "${S}/ffi"
-	cabal-bootstrap
-	cabal-configure
-	popd
-}
-
-src_compile() {
-	haskell-cabal_src_compile
-	"${S}"/dist/build/GenerateEverything/GenerateEverything \
-		|| die "GenerateEverything failed"
-	local prof
-	use profile && prof="--ghc-flag=-prof"
-	agda +RTS -K1G -RTS ${prof} \
-		-i "${S}" -i "${S}"/src "${S}"/Everything.agda || die
-	# Although my agda-9999 build has
-	# /var/tmp/portage/sci-mathematics/agda-9999/work/agda-9999/dist/build/autogen/Paths_Agda.hs
-	# containing:
-	# datadir    = "/usr/share/agda-9999/ghc-7.6.1"
-	# it fails without the --css option like:
-	# /usr/share/agda-9999/ghc-7.4.1/Agda.css: copyFile: does not exist
-	local cssdir=$(egrep 'datadir *=' "${S}/dist/build/autogen/Paths_lib.hs" | sed -e 's@datadir    = \(.*\)@\1@')
-	agda --html -i "${S}" -i "${S}"/src --css="${cssdir}/Agda.css" "${S}"/README.agda || die
-	pushd "${S}/ffi"
-	cabal_src_compile
-	popd
-}
-
-src_test() {
-	agda -i "${S}" -i "${S}"/src README.agda || die
-}
-
-src_install() {
-	insinto usr/share/agda-stdlib
-	export INSOPTIONS=--preserve-timestamps
-	doins -r src/*
-	dodoc -r html/*
-	elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die
-	pushd "${S}/ffi"
-	cabal_src_install
-	popd
-}
diff --git a/sci-mathematics/agda-stdlib/agda-stdlib-0.7.ebuild b/sci-mathematics/agda-stdlib/agda-stdlib-0.7.ebuild
deleted file mode 100644
index 474fc6116ab0..000000000000
--- a/sci-mathematics/agda-stdlib/agda-stdlib-0.7.ebuild
+++ /dev/null
@@ -1,59 +0,0 @@
-# Copyright 1999-2013 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/agda-stdlib-0.7.ebuild,v 1.1 2013/09/13 06:56:46 gienah Exp $
-
-EAPI=5
-
-CABAL_FEATURES="bin"
-inherit haskell-cabal elisp-common
-
-DESCRIPTION="Agda standard library"
-HOMEPAGE="http://wiki.portal.chalmers.se/agda/"
-SRC_URI="http://www.cse.chalmers.se/~nad/software/lib-${PV}.tar.gz"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-IUSE="profile"
-
-DEPEND=">=sci-mathematics/agda-executable-2.3.0.1"
-RDEPEND="=sci-mathematics/agda-2.3.2*[profile?]
-		=dev-haskell/filemanip-0.3*[profile?]"
-
-SITEFILE="50${PN}-gentoo.el"
-
-S="${WORKDIR}/lib-${PV}"
-
-src_prepare() {
-	cabal-mksetup
-}
-
-src_compile() {
-	haskell-cabal_src_compile
-	"${S}"/dist/build/GenerateEverything/GenerateEverything \
-		|| die "GenerateEverything failed"
-	local prof
-	use profile && prof="--ghc-flag=-prof"
-	agda +RTS -K1G -RTS ${prof} \
-		-i "${S}" -i "${S}"/src "${S}"/Everything.agda || die
-	# Although my agda-9999 build has
-	# /var/tmp/portage/sci-mathematics/agda-9999/work/agda-9999/dist/build/autogen/Paths_Agda.hs
-	# containing:
-	# datadir    = "/usr/share/agda-9999/ghc-7.6.1"
-	# it fails without the --css option like:
-	# /usr/share/agda-9999/ghc-7.4.1/Agda.css: copyFile: does not exist
-	local cssdir=$(egrep 'datadir *=' "${S}/dist/build/autogen/Paths_lib.hs" | sed -e 's@datadir    = \(.*\)@\1@')
-	agda --html -i "${S}" -i "${S}"/src --css="${cssdir}/Agda.css" "${S}"/README.agda || die
-}
-
-src_test() {
-	agda -i "${S}" -i "${S}"/src README.agda || die
-}
-
-src_install() {
-	insinto usr/share/agda-stdlib
-	export INSOPTIONS=--preserve-timestamps
-	doins -r src/*
-	dodoc -r html/*
-	elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die
-}