diff options
| author |   Alessandro Barbieri <lssndrbarbieri@gmail.com> | 2019-10-13 18:45:43 +0200 |
|---|---|---|
| committer |   David Seifert <soap@gentoo.org> | 2019-10-20 13:40:00 +0200 |
| commit | 4baeef9480ed2b767b8dfe2e1292a5542534ef2f (patch) | |
| tree | dd3a0b2a683a8a9a263424dd1d2adf67a473e573 /dev-ml/camlp5/camlp5-7.00.ebuild | |
| parent | media-sound/pulseaudio-modules-bt: Make repoman happy (diff) | |
| download | gentoo-4baeef9480ed2b767b8dfe2e1292a5542534ef2f.tar.gz gentoo-4baeef9480ed2b767b8dfe2e1292a5542534ef2f.tar.bz2 gentoo-4baeef9480ed2b767b8dfe2e1292a5542534ef2f.zip | |
dev-ml/camlp5: ocaml version upper bound
Closes: https://github.com/gentoo/gentoo/pull/13275
Package-Manager: Portage-2.3.76, Repoman-2.3.17
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
Signed-off-by: David Seifert <soap@gentoo.org>
Diffstat (limited to 'dev-ml/camlp5/camlp5-7.00.ebuild')
| -rw-r--r-- | dev-ml/camlp5/camlp5-7.00.ebuild | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/dev-ml/camlp5/camlp5-7.00.ebuild b/dev-ml/camlp5/camlp5-7.00.ebuild index 547a32353afb..2ead52bac719 100644 --- a/dev-ml/camlp5/camlp5-7.00.ebuild +++ b/dev-ml/camlp5/camlp5-7.00.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2017 Gentoo Foundation +# Copyright 1999-2019 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI="5" @@ -16,7 +16,10 @@ SLOT="0/${PV}" KEYWORDS="~alpha ~amd64 ~ppc ~x86" IUSE="doc +ocamlopt" -DEPEND=">=dev-lang/ocaml-3.10:=[ocamlopt?]" +DEPEND=" + >=dev-lang/ocaml-3.10:=[ocamlopt?] + <=dev-lang/ocaml-4.6.0 +" RDEPEND="${DEPEND}" PATCHLEVEL=${PV#*_p} @@ -40,7 +43,7 @@ src_configure() { ./configure \ --strict \ -prefix /usr \ - -bindir /usr/bin \ + -bindir /usr/bin \ -libdir /usr/$(get_libdir)/ocaml \ -mandir /usr/share/man || die "configure failed" } |