diff options
| author |   Matthieu Sozeau <mattam@gentoo.org> | 2004-08-08 07:00:05 +0000 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@gentoo.org> | 2004-08-08 07:00:05 +0000 |
| commit | b8309409b2cce4f08ad75bc54179bde25fd31f4e (patch) | |
| tree | c536d9df9125289993099733edca3aee67cb5519 /app-sci/coq/coq-7.4.ebuild | |
| parent | ver bump (diff) | |
| download | historical-b8309409b2cce4f08ad75bc54179bde25fd31f4e.tar.gz historical-b8309409b2cce4f08ad75bc54179bde25fd31f4e.tar.bz2 historical-b8309409b2cce4f08ad75bc54179bde25fd31f4e.zip | |
Update for ocaml-3.08, remove old ebuild.
Diffstat (limited to 'app-sci/coq/coq-7.4.ebuild')
| -rw-r--r-- | app-sci/coq/coq-7.4.ebuild | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/app-sci/coq/coq-7.4.ebuild b/app-sci/coq/coq-7.4.ebuild index 0ddb0cd4232b..b6f832034788 100644 --- a/app-sci/coq/coq-7.4.ebuild +++ b/app-sci/coq/coq-7.4.ebuild @@ -1,6 +1,6 @@ # 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-7.4.ebuild,v 1.5 2004/07/14 01:33:10 lv Exp $ +# $Header: /var/cvsroot/gentoo-x86/app-sci/coq/coq-7.4.ebuild,v 1.6 2004/08/08 07:00:05 mattam Exp $ inherit eutils @@ -13,7 +13,8 @@ SLOT="0" KEYWORDS="x86 ppc ~amd64" IUSE="norealanalysis" -DEPEND=">=dev-lang/ocaml-3.06" +DEPEND=">=dev-lang/ocaml-3.06 +!>=dev-lang/ocaml-3.08" src_compile() { local myconf="--prefix /usr \ |