# Copyright 1999-2004 Gentoo Technologies, Inc.
# Distributed under the terms of the GNU General Public License v2
# $Header: $

DESCRIPTION="A Computational Logic Applicative Common Lisp"

HOMEPAGE="http://www.cs.utexas.edu/users/moore/acl2/"

SRC_URI="ftp://ftp.cs.utexas.edu/pub/moore/acl2/v2-8/acl2.tar.gz
	http://www.cs.utexas.edu/users/moore/publications/acl2-book.ps.gz"

LICENSE="GPL-2"
KEYWORDS="~x86"

SLOT="0"

IUSE=""
DEPEND="dev-lisp/gcl"

S="${WORKDIR}/acl2-sources"

src_compile() {
	make large LISP="gcl" || die
}

src_install() {
	sed "s:/var/tmp/portage/acl2-2.8/work/acl2-sources:/usr/share/acl2:g" < saved_acl2 > acl2

	dobin acl2

	insinto /usr/share/acl2
	doins TAGS || die
	insopts -m0755
	doins saved_acl2 || die
	doins saved_acl2.gcl || 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
}

pkg_postinst() {
	einfo
	einfo "Building certificates..."
	einfo "(this can take a long time)"
	einfo

	cd /usr/share/acl2/books
	make || die
}