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

EAPI="4"

inherit multilib

DESCRIPTION="The Mathematical Components Library for Ssreflect"

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"

DEPEND="=sci-mathematics/ssreflect-${PV}"
RDEPEND=${DEPEND}

src_install () {
    emake DSTROOT="${D}" install
    dodoc INSTALL README AUTHORS
}