From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) by finch.gentoo.org (Postfix) with ESMTP id 886B3138A1C for ; Thu, 13 Nov 2014 00:17:38 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 88980E08DF; Thu, 13 Nov 2014 00:17:37 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 90A76E08DC for ; Thu, 13 Nov 2014 00:17:36 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 90CD6340559 for ; Thu, 13 Nov 2014 00:17:35 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id BD1F9A05E for ; Thu, 13 Nov 2014 00:15:50 +0000 (UTC) From: "Christoph Junghans" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Christoph Junghans" Message-ID: <1415801819.2a27e55d9b2a69d07b946d4f97442cf388492c62.ottxor@gentoo> Subject: [gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/ X-VCS-Repository: proj/sci X-VCS-Files: sci-mathematics/acl2/ChangeLog sci-mathematics/acl2/acl2-4.2.ebuild sci-mathematics/acl2/acl2-4.3.ebuild X-VCS-Directories: sci-mathematics/acl2/ X-VCS-Committer: ottxor X-VCS-Committer-Name: Christoph Junghans X-VCS-Revision: 2a27e55d9b2a69d07b946d4f97442cf388492c62 X-VCS-Branch: master Date: Thu, 13 Nov 2014 00:15:50 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Archives-Salt: 65804ff5-2c32-45c6-a45b-d0098ad2faec X-Archives-Hash: 6dc867e92627f5d23fd49194561db2e8 commit: 2a27e55d9b2a69d07b946d4f97442cf388492c62 Author: Justin Lecher gentoo org> AuthorDate: Wed Nov 12 14:16:59 2014 +0000 Commit: Christoph Junghans gentoo 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 -acl2-4.2.ebuild, + -acl2-4.3.ebuild: + Drop old + 09 Dec 2013; Justin Lecher 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 -}