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

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

commit:     d16eb521f102c012e08ea1b72958f179de719d64
Author:     Dongxu Li <dongxuli2011 <AT> gmail <DOT> com>
AuthorDate: Thu Jul  7 19:13:53 2011 +0000
Commit:     Dongxu Li <dongxuli2011 <AT> gmail <DOT> com>
CommitDate: Thu Jul  7 19:13:53 2011 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=d16eb521

sci-mathematics/acl2: version bump to 4.3

---
 sci-mathematics/acl2/acl2-4.3.ebuild |   54 ++++++++++++++++++++++++++++++++++
 1 files changed, 54 insertions(+), 0 deletions(-)

diff --git a/sci-mathematics/acl2/acl2-4.3.ebuild b/sci-mathematics/acl2/acl2-4.3.ebuild
new file mode 100644
index 0000000..bf7d919
--- /dev/null
+++ b/sci-mathematics/acl2/acl2-4.3.ebuild
@@ -0,0 +1,54 @@
+# Copyright 1999-2011 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
+}