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 1Qeu1t-0002fa-87 for garchives@archives.gentoo.org; Thu, 07 Jul 2011 19:14:29 +0000 Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 2401921C163; Thu, 7 Jul 2011 19:14:21 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) by pigeon.gentoo.org (Postfix) with ESMTP id E4C0421C163 for ; Thu, 7 Jul 2011 19:14:20 +0000 (UTC) Received: from pelican.gentoo.org (unknown [66.219.59.40]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 57A512AC086 for ; Thu, 7 Jul 2011 19:14:20 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by pelican.gentoo.org (Postfix) with ESMTP id ADC1D8003D for ; Thu, 7 Jul 2011 19:14:19 +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/acl2-4.3.ebuild X-VCS-Directories: sci-mathematics/acl2/ X-VCS-Committer: dongxuli X-VCS-Committer-Name: Dongxu Li X-VCS-Revision: d16eb521f102c012e08ea1b72958f179de719d64 Date: Thu, 7 Jul 2011 19:14:19 +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: 0a59da91a1ea0cf38075ab6f03903133 commit: d16eb521f102c012e08ea1b72958f179de719d64 Author: Dongxu Li gmail com> AuthorDate: Thu Jul 7 19:13:53 2011 +0000 Commit: Dongxu Li gmail com> CommitDate: Thu Jul 7 19:13:53 2011 +0000 URL: http://git.overlays.gentoo.org/gitweb/?p=3Dproj/sci.git;a=3Dc= ommit;h=3Dd16eb521 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=3D"ACL2 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" + +SLOT=3D"0" +LICENSE=3D"GPL-2" +KEYWORDS=3D"~amd64 ~x86" +IUSE=3D"" + +DEPEND=3D"dev-lisp/sbcl" +RDEPEND=3D"${DEPEND}" + +S=3D"${WORKDIR}/${PN}-sources" + +src_compile() { + emake LISP=3D"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=3D"/usr/share/acl2/books" + cd "${BOOKSDIR}" + einfo + einfo "Building certificates in ${BOOKSDIR} ..." + einfo "(this may take hours to finish)" + sleep 5 + emake || die +}