diff options
Diffstat (limited to 'dev-ml')
-rw-r--r-- | dev-ml/alcotest-lwt/Manifest | 1 | ||||
-rw-r--r-- | dev-ml/alcotest-lwt/alcotest-lwt-1.5.0.ebuild | 40 |
2 files changed, 41 insertions, 0 deletions
diff --git a/dev-ml/alcotest-lwt/Manifest b/dev-ml/alcotest-lwt/Manifest index e398922c3..c09b78cf9 100644 --- a/dev-ml/alcotest-lwt/Manifest +++ b/dev-ml/alcotest-lwt/Manifest @@ -1 +1,2 @@ DIST alcotest-1.4.0.tar.gz 279675 BLAKE2B 3cc50ab37a16948ceca9b5e6aa885fa50bbe0722c6132ed4991fb64c568253d9913287d1b9e5547f59a210d6803e2a83565f02950fb12cb91ed9f8e24d7864c1 SHA512 adb73c8b2be6f47cb406bbc49dba7dc86e990a60e2e68302592a24dcc24e11e76e2aa6fc2f003c1e4fdbb79744df6ab601daff9540cd7b0096ac9f9bff18098c +DIST alcotest-1.5.0.tar.gz 288227 BLAKE2B 6af28f2516888273903bbb7750ba583778c54447157ece29ad8053323492dddfde9b901699be26c868f1f3835ad89d6f163176033f52ffdccc82fa2609e57b64 SHA512 9f496d1b14a78a9cba5dfde71cbda41d3090d2083bc9895dc9d9f54876b86630079219e678f13f6ffd382deb2a1a298b61b2a222fc65d25d4a242d8c280b4784 diff --git a/dev-ml/alcotest-lwt/alcotest-lwt-1.5.0.ebuild b/dev-ml/alcotest-lwt/alcotest-lwt-1.5.0.ebuild new file mode 100644 index 000000000..e2e295ae7 --- /dev/null +++ b/dev-ml/alcotest-lwt/alcotest-lwt-1.5.0.ebuild @@ -0,0 +1,40 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune multiprocessing + +DESCRIPTION="Lwt-based helpers for Alcotest" +HOMEPAGE="https://github.com/mirage/alcotest" +SRC_URI="https://github.com/mirage/alcotest/archive/${PV}.tar.gz -> alcotest-${PV}.tar.gz" +S="${WORKDIR}/alcotest-${PV}" + +LICENSE="ISC" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="ocamlopt test" + +RDEPEND=" + dev-ml/fmt:= + ~dev-ml/alcotest-${PV}:= + dev-ml/lwt:= + dev-ml/logs:= +" +DEPEND=" + ${RDEPEND} + test? ( + <dev-ml/cmdliner-1.1.0:= + dev-ml/re:= + ) +" + +RESTRICT="!test? ( test )" + +src_compile() { + dune build --only-packages alcotest-lwt -j $(makeopts_jobs) || die +} + +src_install() { + dune_src_install alcotest-lwt +} |