diff options
Diffstat (limited to 'app-sci/coq/coq-8.0.ebuild')
-rw-r--r-- | app-sci/coq/coq-8.0.ebuild | 81 |
1 files changed, 0 insertions, 81 deletions
diff --git a/app-sci/coq/coq-8.0.ebuild b/app-sci/coq/coq-8.0.ebuild deleted file mode 100644 index 9a5ec212a4ce..000000000000 --- a/app-sci/coq/coq-8.0.ebuild +++ /dev/null @@ -1,81 +0,0 @@ -# Copyright 1999-2004 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/app-sci/coq/coq-8.0.ebuild,v 1.3 2004/08/08 07:00:05 mattam Exp $ - -inherit eutils - -IUSE="norealanalysis ide debug translator doc" - -RESTRICT="nostrip" - -DESCRIPTION="Coq is a proof assistant written in O'Caml" -HOMEPAGE="http://coq.inria.fr/" -SRC_URI="ftp://ftp.inria.fr/INRIA/${PN}/V${PV/_/}/${P/_/}.tar.gz -translator? ( ftp://ftp.inria.fr/INRIA/coq/V8.0/coq-8.0-translator.tar.gz )" - -LICENSE="LGPL-2.1" -SLOT="0" -KEYWORDS="~x86 ~ppc" - -DEPEND=">=dev-lang/ocaml-3.06 -!>=dev-lang/ocaml-3.08 -ide? ( >=dev-ml/lablgtk-2.2.0 )" - -S="${WORKDIR}/${P/_/}" - -src_unpack() -{ - unpack ${A} - cd ${S} - epatch ${FILESDIR}/${P}-byteflags.patch -} - -src_compile() { - local myconf="--prefix /usr \ - --bindir /usr/bin \ - --libdir /usr/lib/coq \ - --mandir /usr/man \ - --emacslib /usr/share/emacs/site-lisp \ - --coqdocdir /usr/lib/coq/coqdoc" - - use debug && myconf="--debug $myconf" - use norealanalysis && myconf="$myconf --reals" - use norealanalysis || myconf="$myconf --reals all" - - if use ide; then - myconf="$myconf --coqide opt" - else - myconf="$myconf --coqide no" - fi - - ./configure $myconf || die - - if use ide; then - labldir=/usr/lib/ocaml/lablgtk2 - sed -i -e "s|BYTEFLAGS=|BYTEFLAGS=-I ${labldir} |" Makefile - sed -i -e "s|OPTFLAGS=|OPTFLAGS=-I ${labldir} |" Makefile - sed -i -e "s|COQIDEFLAGS=.*|COQIDEFLAGS=-thread -I ${labldir}|" Makefile - make world || die - else - make world - fi -} - -src_install() { - make COQINSTALLPREFIX=${D} install || die - dodoc README CREDITS CHANGES LICENSE - - if use translator; then - cd ${WORKDIR}/coq-8.0-translator - mv translate-v8 coq-translate-v8 - dobin coq-translate-v8 - if use doc; then - dodoc Translator.* syntax-v8.* - fi - fi - - if use ide; then - insinto /usr/share/applnk/Edutainment/Mathematics - doins ${FILESDIR}/coqide.desktop - fi -} |