From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from pigeon.gentoo.org ([208.92.234.80] helo=lists.gentoo.org) by finch.gentoo.org with esmtp (Exim 4.60) (envelope-from ) id 1Q9hM0-0000Ib-34 for garchives@archives.gentoo.org; Tue, 12 Apr 2011 17:26:16 +0000 Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 358B51C055; Tue, 12 Apr 2011 17:26:09 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) by pigeon.gentoo.org (Postfix) with ESMTP id ED64E1C055 for ; Tue, 12 Apr 2011 17:26:08 +0000 (UTC) Received: from pelican.gentoo.org (unknown [66.219.59.40]) (using TLSv1 with cipher ADH-CAMELLIA256-SHA (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 3862E1B412A for ; Tue, 12 Apr 2011 17:26:08 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by pelican.gentoo.org (Postfix) with ESMTP id 909AD80065 for ; Tue, 12 Apr 2011 17:26:07 +0000 (UTC) From: "Justin Lecher" To: gentoo-commits@lists.gentoo.org Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Justin Lecher" Message-ID: 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 X-VCS-Directories: sci-mathematics/acl2/ X-VCS-Committer: jlec X-VCS-Committer-Name: Justin Lecher X-VCS-Revision: b1a5a236fe0625f4493511061d7b67c58521cfe2 Date: Tue, 12 Apr 2011 17:26:07 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: quoted-printable X-Archives-Salt: X-Archives-Hash: 6d2103848b3cb57527f2f088fc24ca49 commit: b1a5a236fe0625f4493511061d7b67c58521cfe2 Author: Justin Lecher gentoo org> AuthorDate: Tue Apr 12 17:25:56 2011 +0000 Commit: Justin Lecher gentoo org> CommitDate: Tue Apr 12 17:25:56 2011 +0000 URL: http://git.overlays.gentoo.org/gitweb/?p=3Dproj/sci.git;a=3Dc= ommit;h=3Db1a5a236 Slightly streamlined ebuild (Portage version: 2.2.0_alpha29/git/Linux x86_64, signed Manifest commit = with key 70EB7916) --- sci-mathematics/acl2/ChangeLog | 5 ++- sci-mathematics/acl2/acl2-4.2.ebuild | 52 ++++++++++++----------------= ----- 2 files changed, 23 insertions(+), 34 deletions(-) diff --git a/sci-mathematics/acl2/ChangeLog b/sci-mathematics/acl2/Change= Log index 8572e54..65b0eef 100644 --- a/sci-mathematics/acl2/ChangeLog +++ b/sci-mathematics/acl2/ChangeLog @@ -1,7 +1,10 @@ # ChangeLog for sci-mathematics/acl2 -# Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2 +# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 # $Header: $ =20 + 12 Apr 2011; Justin Lecher acl2-4.2.ebuild: + Slightly streamlined ebuild + *acl2-4.2 (13 Apr 2011) =20 13 Apr 2011; Dongxu Li +acl2-4.2.ebuild +Chan= geLog +metadata.xml : diff --git a/sci-mathematics/acl2/acl2-4.2.ebuild b/sci-mathematics/acl2/= acl2-4.2.ebuild index 65df35b..9d4db97 100644 --- a/sci-mathematics/acl2/acl2-4.2.ebuild +++ b/sci-mathematics/acl2/acl2-4.2.ebuild @@ -1,63 +1,49 @@ -# Copyright 1999-2009 Gentoo Foundation +# Copyright 1999-2011 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Header: $ =20 -#EAPI=3D0 +EAPI=3D4 =20 inherit eutils =20 -DESCRIPTION=3D"ACL2 industrial strength theorem prover" - +DESCRIPTION=3D"Industrial strength theorem prover" HOMEPAGE=3D"http://www.cs.utexas.edu/users/moore/acl2/" - -SRC_URI=3D"http://www.cs.utexas.edu/users/moore/acl2/v${PV/\./-}/distrib= /acl2.tar.gz" +SRC_URI=3D"http://www.cs.utexas.edu/users/moore/${PN}/v${PV/\./-}/distri= b/${PN}.tar.gz -> ${P}.tar.gz" =20 LICENSE=3D"GPL-2" - SLOT=3D"0" - KEYWORDS=3D"~amd64 ~x86" - IUSE=3D"" =20 -#RESTRICT=3D"strip" - DEPEND=3D"dev-lisp/sbcl" - RDEPEND=3D"${DEPEND}" =20 S=3D"${WORKDIR}/${PN}-sources" =20 src_compile() { emake LISP=3D"sbcl --noinform --noprint" || die "emake failed" + cd books + einfo + einfo "Building certificates..." + einfo "(this may take hours to finish)" + emake } =20 src_install() { - sed -ie "s:${S}:/usr/share/acl2:g" saved_acl2 - insinto /usr/bin - insopts -m0755 - doins saved_acl2 + sed -ie "s:${S}:${EPREFIX}/usr/share/acl2:g" saved_acl2 || die + dobin saved_acl2 =20 insinto /usr/share/acl2 - doins TAGS || die - insopts -m0755 - doins saved_acl2 || die - doins saved_acl2.core || die + doins TAGS +# insopts -m0755 + doins saved_acl2 + doins saved_acl2.core =20 - dodir /usr/share/acl2/books - cp -a books "${D}"/usr/share/acl2 - chmod --recursive a+rx "${D}"/usr/share/acl2/books =20 - #dodoc LICENSE - #dodoc ${WORKDIR}/acl2-book.ps + insinto /usr/share/acl2/ + doins -r books =20 - dohtml doc/HTML/* || die + dohtml -r doc/HTML/* =20 - doinfo doc/EMACS/* || die - cd "${D}"/usr/share/acl2/books - einfo - einfo "Building certificates..." - einfo "(this may take hours to finish)" - sleep 5 - emake || die + doinfo doc/EMACS/* }