aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlessandro Barbieri <lssndrbarbieri@gmail.com>2022-04-16 14:28:53 +0200
committerAlessandro Barbieri <lssndrbarbieri@gmail.com>2022-04-16 18:20:06 +0200
commitbd78ba715315da375b0fce2efb9ce3befe1b184c (patch)
tree3deff02214361efe26550ab9a2d254b44c88cc13
parentdev-ml/diet: update HOMEPAGE (diff)
downloadguru-bd78ba715315da375b0fce2efb9ce3befe1b184c.tar.gz
guru-bd78ba715315da375b0fce2efb9ce3befe1b184c.tar.bz2
guru-bd78ba715315da375b0fce2efb9ce3befe1b184c.zip
dev-ml/gmap: update HOMEPAGE
Closes: https://bugs.gentoo.org/838778 Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
-rw-r--r--dev-ml/gmap/gmap-0.3.0-r2.ebuild17
1 files changed, 14 insertions, 3 deletions
diff --git a/dev-ml/gmap/gmap-0.3.0-r2.ebuild b/dev-ml/gmap/gmap-0.3.0-r2.ebuild
index 513c6ad69..2d6dcda34 100644
--- a/dev-ml/gmap/gmap-0.3.0-r2.ebuild
+++ b/dev-ml/gmap/gmap-0.3.0-r2.ebuild
@@ -6,13 +6,24 @@ EAPI=8
inherit dune
DESCRIPTION="Heterogenous Map over a GADT"
-HOMEPAGE="https://github.com/hannesm/gmap"
+HOMEPAGE="
+ https://github.com/hannesm/gmap
+ https://opam.ocaml.org/packages/gmap/
+"
SRC_URI="https://github.com/hannesm/gmap/releases/download/${PV}/${P}.tbz"
LICENSE="ISC"
SLOT="0/${PV}"
KEYWORDS="~amd64"
-IUSE="ocamlopt"
+IUSE="ocamlopt test"
RDEPEND=""
-DEPEND="${RDEPEND}"
+DEPEND="
+ ${RDEPEND}
+ test? (
+ dev-ml/alcotest
+ dev-ml/fmt
+ )
+"
+
+RESTRICT="!test? ( test )"