From 40e581e9adb9355ae55c4c277a79625a0162aece Mon Sep 17 00:00:00 2001 From: Tupone Alfredo Date: Sun, 5 Nov 2017 20:13:41 +0100 Subject: dev-lang/spark: disable zip on why3 Package-Manager: Portage-2.3.8, Repoman-2.3.3 --- dev-lang/spark/spark-2017.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dev-lang/spark') diff --git a/dev-lang/spark/spark-2017.ebuild b/dev-lang/spark/spark-2017.ebuild index e63d7069015f..a47fb312815a 100644 --- a/dev-lang/spark/spark-2017.ebuild +++ b/dev-lang/spark/spark-2017.ebuild @@ -23,7 +23,7 @@ RDEPEND="dev-lang/gnat-gpl:6.3.0 >=dev-ada/gnatcoll-2017[gnat_2017,projects] || ( dev-ada/gnatcoll[shared] dev-ada/gnatcoll[static] ) sci-mathematics/alt-ergo - sci-mathematics/why3-for-spark" + sci-mathematics/why3-for-spark[-zip]" DEPEND="${RDEPEND} dev-ada/gprbuild[gnat_2017]" -- cgit v1.2.3-65-gdbad