diff options
Diffstat (limited to 'dev-ml/herelib/herelib-109.35.02.ebuild')
| -rw-r--r-- | dev-ml/herelib/herelib-109.35.02.ebuild | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/dev-ml/herelib/herelib-109.35.02.ebuild b/dev-ml/herelib/herelib-109.35.02.ebuild index 6066b1324749..70f8c223829e 100644 --- a/dev-ml/herelib/herelib-109.35.02.ebuild +++ b/dev-ml/herelib/herelib-109.35.02.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2014 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/dev-ml/herelib/herelib-109.35.02.ebuild,v 1.1 2014/01/19 15:46:34 aballier Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-ml/herelib/herelib-109.35.02.ebuild,v 1.2 2014/11/28 17:30:11 aballier Exp $ EAPI="5" @@ -16,7 +16,10 @@ SLOT="0/${PV}" KEYWORDS="~amd64" IUSE="" -DEPEND=">=dev-lang/ocaml-4.00.0:=" +DEPEND=" + >=dev-lang/ocaml-4.00.0:= + || ( dev-ml/camlp4:= <dev-lang/ocaml-4.02.0 ) +" RDEPEND="${DEPEND}" S="${WORKDIR}/${MY_P}" |