diff options
| author |   Dongxu Li <dongxuli2011@gmail.com> | 2011-07-07 15:13:53 -0400 |
|---|---|---|
| committer | Dongxu Li <dongxuli2011@gmail.com> | 2011-07-07 15:13:53 -0400 |
| commit | d16eb521f102c012e08ea1b72958f179de719d64 (patch) | |
| tree | 0d9168db4971fa205967c46af105a22f5f1bdf51 /sci-mathematics/acl2 | |
| parent | Version Bump (diff) | |
| download | sci-d16eb521f102c012e08ea1b72958f179de719d64.tar.gz sci-d16eb521f102c012e08ea1b72958f179de719d64.tar.bz2 sci-d16eb521f102c012e08ea1b72958f179de719d64.zip | |
sci-mathematics/acl2: version bump to 4.3
Diffstat (limited to 'sci-mathematics/acl2')
| -rw-r--r-- | sci-mathematics/acl2/Manifest | 11 | ||||
| -rw-r--r-- | sci-mathematics/acl2/acl2-4.3.ebuild | 54 |
2 files changed, 55 insertions, 10 deletions
diff --git a/sci-mathematics/acl2/Manifest b/sci-mathematics/acl2/Manifest index 02b00d2d7..07a95e6a1 100644 --- a/sci-mathematics/acl2/Manifest +++ b/sci-mathematics/acl2/Manifest @@ -1,15 +1,6 @@ ------BEGIN PGP SIGNED MESSAGE----- -Hash: SHA1 - AUX set-booksdir.patch 591 RMD160 a4775c520b3756e8b33de8bc38b54e4873c57a39 SHA1 37ccf5718c75a6e4f45fdbfe8876ec8acf625e5b SHA256 2b6e65de0d25705444f6d75dc2e8658433bd79d5c180026da34b230bf9808bea DIST acl2.tar.gz 11699557 RMD160 622dbef91b3af8d75a99cc482ca240a20cc8af0a SHA1 75c24b3fc6b1ca0e7a4163fd47088eca3b0c1104 SHA256 0f727b44257640346dc6eecc046f339b171676e79c31883535281e61bbfca077 EBUILD acl2-4.2.ebuild 1146 RMD160 28e3c9501699fa1762d85d4bca4cafa3abf7c817 SHA1 f92b0fbdba8fc28fdc017059dce601aba6f7bf94 SHA256 e1b6bffb596791dc65de391f32a5f984cc409fd95ed743430df990d7439e85b6 +EBUILD acl2-4.3.ebuild 1146 RMD160 28e3c9501699fa1762d85d4bca4cafa3abf7c817 SHA1 f92b0fbdba8fc28fdc017059dce601aba6f7bf94 SHA256 e1b6bffb596791dc65de391f32a5f984cc409fd95ed743430df990d7439e85b6 MISC ChangeLog 596 RMD160 452638339debc95a94e58be2983a922cbf479649 SHA1 b211120f5fe33a8ebe50c3de8b964d71634220ea SHA256 108b88ef5f447139afccb57e9ee9f458aad86b4efd8194391668ac1365c20df0 MISC metadata.xml 215 RMD160 bc9c07aa91f2f175542244e4e4522a73558210a1 SHA1 facb283386de1c0b6b938cdcd4dde04d1694298b SHA256 13f32353652adbd3d934d41381cfc2cacc9e1127c508cebc73806cc1026ee80c ------BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.17 (GNU/Linux) - -iEYEARECAAYFAk4E8SAACgkQgAnW8HDreRYVsQCgn6D5WwElrrTFwgfr4bMItbQu -PL0AoNAu4WmDjMSiiXA4kgX4Mjzsw2B3 -=voYN ------END PGP SIGNATURE----- diff --git a/sci-mathematics/acl2/acl2-4.3.ebuild b/sci-mathematics/acl2/acl2-4.3.ebuild new file mode 100644 index 000000000..bf7d91955 --- /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 +} |