# Copyright 1999-2005 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $

EAPI="4"

inherit multilib elisp-common

DESCRIPTION="The Ssreflect extension for the Coq Proof Assistant"

COQV="8.4"
HOMEPAGE="http://www.msr-inria.fr/projects/mathematical-components-2/"
SRC_URI="http://ssr.msr-inria.inria.fr/FTP/${P}.tar.gz"

LICENSE="CeCILL-B"
SLOT="0"
KEYWORDS="~x86 ~amd64"

IUSE="emacs"

DEPEND="=sci-mathematics/coq-${COQV}*[camlp5]
	emacs? ( virtual/emacs )
        emacs? ( app-emacs/proofgeneral )"
RDEPEND=${DEPEND}

SITEFILE="51${PN}-gentoo.el"

src_compile () {
    default_src_compile
    if use emacs ; then 
	elisp-compile pg-ssr.el || die 
    fi
}

src_install () {
    emake DSTROOT="${D}" install
    dodoc INSTALL README AUTHORS ANNOUNCE 
    if use emacs ; then 
	elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die
	elisp-install ${PN} pg-ssr.el pg-ssr.elc || die
    fi
}

pkg_postinst() {
        use emacs && elisp-site-regen
}

pkg_postrm() {
        use emacs && elisp-site-regen
}