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 <[email protected]> -acl2-4.2.ebuild, + -acl2-4.3.ebuild: + Drop old + 09 Dec 2013; Justin Lecher <[email protected]> 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 -}
