diff --git a/dev-ml/psq/Manifest b/dev-ml/psq/Manifest new file mode 100644 index 0000000000..8914696b16 --- /dev/null +++ b/dev-ml/psq/Manifest @@ -0,0 +1 @@ +DIST psq-v0.2.0.tbz 10538 BLAKE2B 87626e0cac63b27d114c0497709d2b4cea55df4045b2033d5104bfacdb67b5286bcdf379a7f68936e852cd0f1260deb2258d0792691d32db406162dd3453e2d4 SHA512 0c570c5fc2bb2348b1ec03507abb4f152673a5d8f92c388c4cd5b7fc43a6e8f514007dbf4fb613503c4e8d5c8d3210b24ac37c546c79d94ebdf6b482e5cde024 diff --git a/dev-ml/psq/metadata.xml b/dev-ml/psq/metadata.xml new file mode 100644 index 0000000000..14405eed69 --- /dev/null +++ b/dev-ml/psq/metadata.xml @@ -0,0 +1,12 @@ + + + + + co-maintainers welcome + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + pqwy/psq + + diff --git a/dev-ml/psq/psq-0.2.0-r2.ebuild b/dev-ml/psq/psq-0.2.0-r2.ebuild new file mode 100644 index 0000000000..aba4c1da48 --- /dev/null +++ b/dev-ml/psq/psq-0.2.0-r2.ebuild @@ -0,0 +1,27 @@ +# Copyright 2019-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Functional Priority Search Queues for OCaml" +HOMEPAGE="https://github.com/pqwy/psq" +SRC_URI="https://github.com/pqwy/psq/releases/download/v${PV}/${PN}-v${PV}.tbz" +S="${WORKDIR}/${PN}-v${PV}" + +LICENSE="ISC" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="ocamlopt test" + +RDEPEND="dev-ml/seq" +DEPEND=" + ${RDEPEND} + test? ( + dev-ml/qcheck + dev-ml/alcotest + ) +" + +RESTRICT="!test? ( test )"