diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2016-06-29 21:15:11 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2016-06-29 21:17:05 +0200 |
| commit | 6e9d123f36abfc590c770900a3d450e7a24bb171 (patch) | |
| tree | 095577dc712fd1c5ae9d9f7a9f9c8765ae73b402 /dev-ml | |
| parent | media-sound/kwave: any slot of kde-apps/poxml is acceptable (diff) | |
| download | gentoo-6e9d123f36abfc590c770900a3d450e7a24bb171.tar.gz gentoo-6e9d123f36abfc590c770900a3d450e7a24bb171.tar.bz2 gentoo-6e9d123f36abfc590c770900a3d450e7a24bb171.zip | |
dev-ml/extlib: Drop non-camlp4 support, #586910
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/extlib/extlib-1.6.1-r1.ebuild (renamed from dev-ml/extlib/extlib-1.6.1.ebuild) | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/extlib/extlib-1.6.1.ebuild b/dev-ml/extlib/extlib-1.6.1-r1.ebuild index 9ed1005c7ad6..b7c0f30b3de8 100644 --- a/dev-ml/extlib/extlib-1.6.1.ebuild +++ b/dev-ml/extlib/extlib-1.6.1-r1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2014 Gentoo Foundation +# Copyright 1999-2016 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Id$ @@ -12,7 +12,7 @@ SRC_URI="https://ocaml-extlib.googlecode.com/files/${P}.tar.gz" LICENSE="LGPL-2.1" DEPEND=" >=dev-lang/ocaml-3.10.2:=[ocamlopt?] - || ( dev-ml/camlp4:= <dev-lang/ocaml-4.02.0 ) + dev-ml/camlp4:= " RDEPEND="${DEPEND}" SLOT="0/${PV}" |