summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/cinaps')
-rw-r--r--dev-ml/cinaps/cinaps-0.14.0.ebuild1
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/cinaps/cinaps-0.14.0.ebuild b/dev-ml/cinaps/cinaps-0.14.0.ebuild
index 776fd0d12feb..aeb08474dbf2 100644
--- a/dev-ml/cinaps/cinaps-0.14.0.ebuild
+++ b/dev-ml/cinaps/cinaps-0.14.0.ebuild
@@ -13,6 +13,7 @@ LICENSE="MIT"
SLOT="0/${PV}"
KEYWORDS="~amd64 ~arm ~arm64 ~x86"
IUSE="+ocamlopt test"
+RESTRICT="!test? ( test )"
DEPEND="
dev-ml/re:=