From befb4e1d1c1d66578dba34745d53e1540bcb5add Mon Sep 17 00:00:00 2001 From: Maciej Barć Date: Wed, 26 Oct 2022 23:29:49 +0200 Subject: dev-ml/ptmap: add ocaml >=4.07 dependency MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Maciej Barć --- dev-ml/ptmap/ptmap-2.0.5-r1.ebuild | 21 --------------------- dev-ml/ptmap/ptmap-2.0.5-r2.ebuild | 21 +++++++++++++++++++++ 2 files changed, 21 insertions(+), 21 deletions(-) delete mode 100644 dev-ml/ptmap/ptmap-2.0.5-r1.ebuild create mode 100644 dev-ml/ptmap/ptmap-2.0.5-r2.ebuild (limited to 'dev-ml') diff --git a/dev-ml/ptmap/ptmap-2.0.5-r1.ebuild b/dev-ml/ptmap/ptmap-2.0.5-r1.ebuild deleted file mode 100644 index 161912516ff7..000000000000 --- a/dev-ml/ptmap/ptmap-2.0.5-r1.ebuild +++ /dev/null @@ -1,21 +0,0 @@ -# Copyright 1999-2021 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit dune - -DESCRIPTION="Maps of integers implemented as Patricia trees" -HOMEPAGE="https://github.com/backtracking/ptmap" -SRC_URI="https://github.com/backtracking/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="LGPL-2.1" -SLOT="0/${PV}" -KEYWORDS="~amd64 ~x86" -IUSE="+ocamlopt" - -RDEPEND=" - dev-ml/seq:= - dev-ml/stdlib-shims:= -" -DEPEND="${RDEPEND}" diff --git a/dev-ml/ptmap/ptmap-2.0.5-r2.ebuild b/dev-ml/ptmap/ptmap-2.0.5-r2.ebuild new file mode 100644 index 000000000000..2213fb278c04 --- /dev/null +++ b/dev-ml/ptmap/ptmap-2.0.5-r2.ebuild @@ -0,0 +1,21 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Maps of integers implemented as Patricia trees" +HOMEPAGE="https://github.com/backtracking/ptmap/" +SRC_URI="https://github.com/backtracking/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="LGPL-2.1" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="+ocamlopt" + +RDEPEND=" + >=dev-lang/ocaml-4.07:=[ocamlopt?] + dev-ml/stdlib-shims:= +" +DEPEND="${RDEPEND}" -- cgit v1.2.3-65-gdbad