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

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

[Dongxu Li]

commit:     ba0980fa3c65ed73b72971e59c4ad0bdfdf4ebef
Author:     Dongxu Li <dongxuli2011 <AT> gmail <DOT> com>
AuthorDate: Tue Apr 12 15:50:19 2011 +0000
Commit:     Dongxu Li <dongxuli2011 <AT> gmail <DOT> com>
CommitDate: Tue Apr 12 15:50:19 2011 +0000
URL:        http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=ba0980fa

sci-mathematics/acl2: industrial strength theorem prover, #49316

---
 sci-mathematics/acl2/ChangeLog       |    9 +++++
 sci-mathematics/acl2/acl2-4.2.ebuild |   63 ++++++++++++++++++++++++++++++++++
 sci-mathematics/acl2/metadata.xml    |    8 ++++
 3 files changed, 80 insertions(+), 0 deletions(-)

diff --git a/sci-mathematics/acl2/ChangeLog b/sci-mathematics/acl2/ChangeLog
new file mode 100644
index 0000000..8572e54
--- /dev/null
+++ b/sci-mathematics/acl2/ChangeLog
@@ -0,0 +1,9 @@
+# ChangeLog for sci-mathematics/acl2
+# Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2
+# $Header: $
+
+*acl2-4.2 (13 Apr 2011)
+
+  13 Apr 2011; Dongxu Li <dongxuli2011@gmail.com> +acl2-4.2.ebuild +ChangeLog +metadata.xml :
+  Initial import.  #49316
+

diff --git a/sci-mathematics/acl2/acl2-4.2.ebuild b/sci-mathematics/acl2/acl2-4.2.ebuild
new file mode 100644
index 0000000..65df35b
--- /dev/null
+++ b/sci-mathematics/acl2/acl2-4.2.ebuild
@@ -0,0 +1,63 @@
+# Copyright 1999-2009 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: $
+
+#EAPI=0
+
+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"
+
+LICENSE="GPL-2"
+
+SLOT="0"
+
+KEYWORDS="~amd64 ~x86"
+
+IUSE=""
+
+#RESTRICT="strip"
+
+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
+
+	#dodoc LICENSE
+	#dodoc ${WORKDIR}/acl2-book.ps
+
+	dohtml doc/HTML/* || die
+
+	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
+}

diff --git a/sci-mathematics/acl2/metadata.xml b/sci-mathematics/acl2/metadata.xml
new file mode 100644
index 0000000..efb490d
--- /dev/null
+++ b/sci-mathematics/acl2/metadata.xml
@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+<herd>sci</herd>
+<maintainer>
+  <email>sci@gentoo.org</email>
+</maintainer>
+</pkgmetadata>