ebuild source

Coq-7.4.ebuild (text/plain), 742 bytes, created by Matthieu Sozeau (RETIRED) on 2003-10-05 07:14:42 UTC

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

NEWP=`echo ${P} | tr [:upper:] [:lower:]`

DESCRIPTION="Coq is a proof assistant written in O'Caml"
HOMEPAGE="http://coq.inria.fr/"
SRC_URI="ftp://ftp.inria.fr/INRIA/coq/V${PV}/${NEWP}.tar.gz"

LICENSE="LGPL"
SLOT="0"
KEYWORDS="x86"

DEPEND=">=dev-lang/ocaml-3.06"

S="${WORKDIR}/${NEWP}"

src_compile() {
	local myconf="--prefix /usr \
		--bindir /usr/bin \
		--libdir /usr/lib/coq \
		--mandir /usr/man \
		--emacslib /usr/share/emacs/site-lisp \
		--reals"
		
	./configure $myconf	|| die
	emake world || die
}

src_install() {
	make COQINSTALLPREFIX=${D} install || die
	dodoc README CREDITS CHANGES LICENSE
}