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 1QA6US-0005oJ-O4 for garchives@archives.gentoo.org; Wed, 13 Apr 2011 20:16:41 +0000 Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id E1FD21C060; Wed, 13 Apr 2011 20:16:28 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) by pigeon.gentoo.org (Postfix) with ESMTP id B518A1C060 for ; Wed, 13 Apr 2011 20:16:28 +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 315CB1B4038 for ; Wed, 13 Apr 2011 20:16:28 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by pelican.gentoo.org (Postfix) with ESMTP id 4ED3C80065 for ; Wed, 13 Apr 2011 20:16:27 +0000 (UTC) From: "Dongxu Li" To: gentoo-commits@lists.gentoo.org Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Dongxu Li" 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: dongxuli X-VCS-Committer-Name: Dongxu Li X-VCS-Revision: bcb8c4dbdc455d200ddcfd86600f65c5b9bc6cea Date: Wed, 13 Apr 2011 20:16:27 +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: de537530b8a5d3e8c306b4fecb8cc937 commit: bcb8c4dbdc455d200ddcfd86600f65c5b9bc6cea Author: Dongxu Li gmail com> AuthorDate: Wed Apr 13 20:14:47 2011 +0000 Commit: Dongxu Li gmail com> CommitDate: Wed Apr 13 20:14:47 2011 +0000 URL: http://git.overlays.gentoo.org/gitweb/?p=3Dproj/sci.git;a=3Dc= ommit;h=3Dbcb8c4db sci-mathematics/acl2: have to build books in place --- sci-mathematics/acl2/ChangeLog | 3 +++ sci-mathematics/acl2/acl2-4.2.ebuild | 22 ++++++++++------------ 2 files changed, 13 insertions(+), 12 deletions(-) diff --git a/sci-mathematics/acl2/ChangeLog b/sci-mathematics/acl2/Change= Log index 7f7beaf..48176d9 100644 --- a/sci-mathematics/acl2/ChangeLog +++ b/sci-mathematics/acl2/ChangeLog @@ -4,6 +4,9 @@ =20 *acl2-4.2 (13 Apr 2011) =20 + 13 Apr 2011; Dongxu Li -files/set-booksdir.pa= tch: + Build books in pkg_postinst(), following #49316 + 12 Apr 2011; Dongxu Li +files/set-booksdir.pa= tch: fixed books dir for certificates =20 diff --git a/sci-mathematics/acl2/acl2-4.2.ebuild b/sci-mathematics/acl2/= acl2-4.2.ebuild index 6514a3d..9c13965 100644 --- a/sci-mathematics/acl2/acl2-4.2.ebuild +++ b/sci-mathematics/acl2/acl2-4.2.ebuild @@ -2,8 +2,6 @@ # Distributed under the terms of the GNU General Public License v2 # $Header: $ =20 -EAPI=3D2 - inherit eutils =20 DESCRIPTION=3D"ACL2 industrial strength theorem prover" @@ -28,18 +26,8 @@ RDEPEND=3D"${DEPEND}" =20 S=3D"${WORKDIR}/${PN}-sources" =20 -src_prepare() { - epatch "${FILESDIR}"/set-booksdir.patch -} - src_compile() { emake LISP=3D"sbcl --noinform --noprint" || die "emake failed" - cd books - einfo - einfo "Building certificates..." - einfo "(this may take hours to finish)" - sleep 5 - emake ACL2=3D"${S}"/saved_acl2 || die } =20 src_install() { @@ -62,3 +50,13 @@ src_install() { =20 doinfo doc/EMACS/* || die } + +pkg_postinst() { + local BOOKSDIR=3D"/usr/share/acl2/books" + cd "${BOOKSDIR}" + einfo + einfo "Building certificates in ${BOOKSDIR} ..." + einfo "(this may take hours to finish)" + sleep 5 + emake || die +}