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

["Dongxu Li" <dongxuli2011@gmail.com>]

commit:     bcb8c4dbdc455d200ddcfd86600f65c5b9bc6cea
Author:     Dongxu Li <dongxuli2011 <AT> gmail <DOT> com>
AuthorDate: Wed Apr 13 20:14:47 2011 +0000
Commit:     Dongxu Li <dongxuli2011 <AT> gmail <DOT> com>
CommitDate: Wed Apr 13 20:14:47 2011 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=bcb8c4db

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/ChangeLog
index 7f7beaf..48176d9 100644
--- a/sci-mathematics/acl2/ChangeLog
+++ b/sci-mathematics/acl2/ChangeLog
@@ -4,6 +4,9 @@
 
 *acl2-4.2 (13 Apr 2011)
 
+  13 Apr 2011; Dongxu Li <dongxuli2011@gmail.com> -files/set-booksdir.patch:
+  Build books in pkg_postinst(), following #49316
+
   12 Apr 2011; Dongxu Li <dongxuli2011@gmail.com> +files/set-booksdir.patch:
   fixed books dir for certificates
 

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: $
 
-EAPI=2
-
 inherit eutils
 
 DESCRIPTION="ACL2 industrial strength theorem prover"
@@ -28,18 +26,8 @@ RDEPEND="${DEPEND}"
 
 S="${WORKDIR}/${PN}-sources"
 
-src_prepare() {
-	epatch "${FILESDIR}"/set-booksdir.patch
-}
-
 src_compile() {
 	emake LISP="sbcl --noinform --noprint" || die "emake failed"
-	cd books
-	einfo
-	einfo "Building certificates..."
-	einfo "(this may take hours to finish)"
-	sleep 5
-	emake ACL2="${S}"/saved_acl2 || die
 }
 
 src_install() {
@@ -62,3 +50,13 @@ src_install() {
 
 	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
+}