[Solved] ebuild для alt-ergo

Нужен ebuild для alt-ergo ( служит для автоматического доказательства теорем для верификации ПО ).

То, что получается на текущий момент:

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

EAPI="3"
DESCRIPTION="Alt-Ergo is an automatic theorem prover dedicated to program verification."
HOMEPAGE="http://alt-ergo.lri.fr/"
SRC_URI="http://alt-ergo.lri.fr/http/${P}.tar.gz"

LICENSE="CeCILL-C"
SLOT="0"
KEYWORDS="~amd64 ~ppc ~sparc ~x86"
IUSE=""

DEPEND=">=dev-lang/ocaml-3.10.2
        >=dev-ml/ocamlgraph-1.4
        >=dev-ml/lablgtk-2.14"

RDEPEND="${DEPEND}"


src_compile() {
    emake || die "emake failed"
}

src_install(){
    emake install DESTDIR="${D}" || die "emake install failed"
}

Падает при установке:
>>> Install alt-ergo-0.92.2 into /var/tmp/portage/sci-mathematics/alt-ergo-0.92.2/image/ category sci-mathematics
make -j3 install DESTDIR=/var/tmp/portage/sci-mathematics/alt-ergo-0.92.2/image/
mkdir -p /var/tmp/portage/sci-mathematics/alt-ergo-0.92.2/image//usr/share/man/man1
mkdir -p /var/tmp/portage/sci-mathematics/alt-ergo-0.92.2/image//usr/lib64/alt-ergo
cp -f doc/*.1 /var/tmp/portage/sci-mathematics/alt-ergo-0.92.2/image//usr/share/man/man1
cp -f smt_prelude.mlw /var/tmp/portage/sci-mathematics/alt-ergo-0.92.2/image//usr/lib64/alt-ergo
cp -f alt-ergo.opt /var/tmp/portage/sci-mathematics/alt-ergo-0.92.2/image//usr/bin/alt-ergo
cp: cannot create regular file `/var/tmp/portage/sci-mathematics/alt-ergo-0.92.2/image//usr/bin/alt-ergo': No such file or directory
make: *** [install] Error 1
emake failed