dev-haskell/shuffle: new package, a depend of sci-mathematics/agda-2.5.2

Shuffle tool for UHC

Package-Manager: Portage-2.3.3, Repoman-2.3.1

1 files changed, 38 insertions, 0 deletions

diff --git a/dev-haskell/shuffle/shuffle-0.1.3.3.ebuild b/dev-haskell/shuffle/shuffle-0.1.3.3.ebuild
new file mode 100644
index 000000000000..0003a4f0f6db
--- /dev/null
+++ b/dev-haskell/shuffle/shuffle-0.1.3.3.ebuild
@@ -0,0 +1,38 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+# ebuild generated by hackport 0.4.5.9999
+
+CABAL_FEATURES="bin lib profile haddock hoogle hscolour"
+inherit haskell-cabal
+
+DESCRIPTION="Shuffle tool for UHC"
+HOMEPAGE="https://github.com/UU-ComputerScience/shuffle"
+SRC_URI="mirror://hackage/packages/archive/${PN}/${PV}/${P}.tar.gz"
+
+LICENSE="BSD"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="+network-uri"
+
+RDEPEND=">=dev-haskell/cabal-1.14:=[profile?]
+	>=dev-haskell/uhc-util-0.1.5.5:=[profile?]
+	>=dev-haskell/uuagc-0.9.40.3:=[profile?]
+	>=dev-haskell/uuagc-cabal-1.0.3.0:=[profile?]
+	>=dev-haskell/uulib-0.9:=[profile?]
+	>=dev-lang/ghc-7.4.1:=
+	network-uri? ( >=dev-haskell/network-2.6:=[profile?]
+			>=dev-haskell/network-uri-2.6:=[profile?] )
+	!network-uri? ( >=dev-haskell/network-2.3:=[profile?] <dev-haskell/network-2.6:=[profile?] )
+"
+DEPEND="${RDEPEND}
+	>=dev-haskell/cabal-1.8
+"
+
+src_configure() {
+	haskell-cabal_src_configure \
+		$(cabal_flag network-uri network-uri)
+}