diff options
Diffstat (limited to 'sci-mathematics/acl2/acl2-7.1.ebuild')
| -rw-r--r-- | sci-mathematics/acl2/acl2-7.1.ebuild | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/sci-mathematics/acl2/acl2-7.1.ebuild b/sci-mathematics/acl2/acl2-7.1.ebuild new file mode 100644 index 000000000..8378eafb5 --- /dev/null +++ b/sci-mathematics/acl2/acl2-7.1.ebuild @@ -0,0 +1,51 @@ +# Copyright 1999-2015 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: $ + +EAPI=5 + +inherit eutils + +DESCRIPTION="Industrial strength theorem prover" +HOMEPAGE="http://www.cs.utexas.edu/users/moore/acl2/" +MY_PN=${PN}-devel +SRC_URI="https://github.com/${MY_PN}/${MY_PN}/archive/${PV}.tar.gz -> ${P}.tar.gz" + +SLOT="0" +LICENSE="BSD" +KEYWORDS="~amd64 ~x86" +IUSE="books" + +DEPEND=" + dev-lisp/sbcl:= + books? ( dev-lang/perl )" +RDEPEND="${DEPEND}" +S="${WORKDIR}/${MY_PN}-${PV}" + +src_compile() { + emake LISP="sbcl --noinform --noprint \ + --no-sysinit --no-userinit --disable-debugger" + + if use books; then + echo + einfo "Building certificates ..." + einfo "(this may take hours to finish)" + emake certify-books + fi +} + +src_install() { + SAVED_NAME=saved_acl2 + sed -e "s:${S}:/usr/share/acl2:g" -i ${SAVED_NAME} || die + if use books; then + sed -e "/5/a export ACL2_SYSTEM_BOOKS=/usr/share/acl2/books/" \ + -i ${SAVED_NAME} || die + fi + dobin ${SAVED_NAME} + + insinto /usr/share/acl2 + doins TAGS ${SAVED_NAME}.core + if use books; then + doins -r books + fi +} |