summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/alcotest/alcotest-0.8.1.ebuild')
-rw-r--r--dev-ml/alcotest/alcotest-0.8.1.ebuild34
1 files changed, 0 insertions, 34 deletions
diff --git a/dev-ml/alcotest/alcotest-0.8.1.ebuild b/dev-ml/alcotest/alcotest-0.8.1.ebuild
deleted file mode 100644
index b0d314768165..000000000000
--- a/dev-ml/alcotest/alcotest-0.8.1.ebuild
+++ /dev/null
@@ -1,34 +0,0 @@
-# Copyright 1999-2019 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="5"
-
-inherit opam
-
-DESCRIPTION="A lightweight and colourful test framework"
-HOMEPAGE="https://github.com/mirage/alcotest/"
-SRC_URI="https://github.com/mirage/alcotest/archive/${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="ISC"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
- dev-ml/fmt:=
- dev-ml/astring:=
- dev-ml/cmdliner:=
- dev-ml/result:=
-"
-DEPEND="${RDEPEND}
- dev-ml/jbuilder
- dev-ml/findlib"
-
-src_compile() {
- jbuilder build -p alcotest || die
-}
-
-src_test() {
- jbuilder runtest -p alcotest || die
-}