[gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/

["Christoph Junghans" <ottxor@gentoo.org>]

commit:     2a27e55d9b2a69d07b946d4f97442cf388492c62
Author:     Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Wed Nov 12 14:16:59 2014 +0000
Commit:     Christoph Junghans <ottxor <AT> gentoo <DOT> org>
CommitDate: Wed Nov 12 14:16:59 2014 +0000
URL:        http://sources.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=2a27e55d

sci-mathematics/acl2: Drop old

Package-Manager: portage-2.2.14

---
 sci-mathematics/acl2/ChangeLog       |  6 +++-
 sci-mathematics/acl2/acl2-4.2.ebuild | 54 ------------------------------------
 sci-mathematics/acl2/acl2-4.3.ebuild | 54 ------------------------------------
 3 files changed, 5 insertions(+), 109 deletions(-)

diff --git a/sci-mathematics/acl2/ChangeLog b/sci-mathematics/acl2/ChangeLog
index 4c1c852..995db65 100644
--- a/sci-mathematics/acl2/ChangeLog
+++ b/sci-mathematics/acl2/ChangeLog
@@ -1,7 +1,11 @@
 # ChangeLog for sci-mathematics/acl2
-# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
+# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
 # $Header: $
 
+  12 Nov 2014; Justin Lecher <jlec@gentoo.org> -acl2-4.2.ebuild,
+  -acl2-4.3.ebuild:
+  Drop old
+
   09 Dec 2013; Justin Lecher <jlec@gentoo.org> acl2-6.3.ebuild, metadata.xml:
   Add missing die
 

diff --git a/sci-mathematics/acl2/acl2-4.2.ebuild b/sci-mathematics/acl2/acl2-4.2.ebuild
deleted file mode 100644
index bc9b946..0000000
--- a/sci-mathematics/acl2/acl2-4.2.ebuild
+++ /dev/null
@@ -1,54 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: $
-
-inherit eutils
-
-DESCRIPTION="ACL2 industrial strength theorem prover"
-HOMEPAGE="http://www.cs.utexas.edu/users/moore/acl2/"
-SRC_URI="http://www.cs.utexas.edu/users/moore/acl2/v${PV/\./-}/distrib/acl2.tar.gz"
-
-SLOT="0"
-LICENSE="GPL-2"
-KEYWORDS="~amd64 ~x86"
-IUSE=""
-
-DEPEND="dev-lisp/sbcl"
-RDEPEND="${DEPEND}"
-
-S="${WORKDIR}/${PN}-sources"
-
-src_compile() {
-	emake LISP="sbcl --noinform --noprint" || die "emake failed"
-}
-
-src_install() {
-	sed -ie "s:${S}:/usr/share/acl2:g" saved_acl2
-	insinto /usr/bin
-	insopts -m0755
-	doins saved_acl2
-
-	insinto /usr/share/acl2
-	doins TAGS || die
-	insopts -m0755
-	doins saved_acl2 || die
-	doins saved_acl2.core || die
-
-	dodir /usr/share/acl2/books
-	cp -a books "${D}"/usr/share/acl2
-	chmod --recursive a+rx "${D}"/usr/share/acl2/books
-
-	dohtml doc/HTML/* || die
-
-	doinfo doc/EMACS/* || die
-}
-
-pkg_postinst() {
-	local BOOKSDIR="/usr/share/acl2/books"
-	cd "${BOOKSDIR}"
-	einfo
-	einfo "Building certificates in ${BOOKSDIR} ..."
-	einfo "(this may take hours to finish)"
-	sleep 5
-	emake || die
-}

diff --git a/sci-mathematics/acl2/acl2-4.3.ebuild b/sci-mathematics/acl2/acl2-4.3.ebuild
deleted file mode 100644
index bc9b946..0000000
--- a/sci-mathematics/acl2/acl2-4.3.ebuild
+++ /dev/null
@@ -1,54 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: $
-
-inherit eutils
-
-DESCRIPTION="ACL2 industrial strength theorem prover"
-HOMEPAGE="http://www.cs.utexas.edu/users/moore/acl2/"
-SRC_URI="http://www.cs.utexas.edu/users/moore/acl2/v${PV/\./-}/distrib/acl2.tar.gz"
-
-SLOT="0"
-LICENSE="GPL-2"
-KEYWORDS="~amd64 ~x86"
-IUSE=""
-
-DEPEND="dev-lisp/sbcl"
-RDEPEND="${DEPEND}"
-
-S="${WORKDIR}/${PN}-sources"
-
-src_compile() {
-	emake LISP="sbcl --noinform --noprint" || die "emake failed"
-}
-
-src_install() {
-	sed -ie "s:${S}:/usr/share/acl2:g" saved_acl2
-	insinto /usr/bin
-	insopts -m0755
-	doins saved_acl2
-
-	insinto /usr/share/acl2
-	doins TAGS || die
-	insopts -m0755
-	doins saved_acl2 || die
-	doins saved_acl2.core || die
-
-	dodir /usr/share/acl2/books
-	cp -a books "${D}"/usr/share/acl2
-	chmod --recursive a+rx "${D}"/usr/share/acl2/books
-
-	dohtml doc/HTML/* || die
-
-	doinfo doc/EMACS/* || die
-}
-
-pkg_postinst() {
-	local BOOKSDIR="/usr/share/acl2/books"
-	cd "${BOOKSDIR}"
-	einfo
-	einfo "Building certificates in ${BOOKSDIR} ..."
-	einfo "(this may take hours to finish)"
-	sleep 5
-	emake || die
-}