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

diff --git a/dev-haskell/shuffle/Manifest b/dev-haskell/shuffle/Manifest
new file mode 100644 (file)
index 0000000..483a535
--- /dev/null
+++ b/dev-haskell/shuffle/Manifest
@@ -0,0 +1 @@
+DIST shuffle-0.1.3.3.tar.gz 31685 SHA256 2de785a94947c3e34d17643ca96a6a65421a53b28290ff87571d0d34ee50fb59 SHA512 44fcb34a3a9c251970c132c5a504aa4fe30befbc2829ff8b4f788e797c8a35373c5ed4325fb3e5d5846caf0f566b84c398f53be0c7d33d4392343e4f8655a096 WHIRLPOOL b88291e2ee0317b7f74f5d455b8a3861a87d203e1b5540241ca89cae5c0d01be1a2d4892d9178265a9f3a582c360ae450542ef7f9f3c1438408486865b101e6a

diff --git a/dev-haskell/shuffle/metadata.xml b/dev-haskell/shuffle/metadata.xml
new file mode 100644 (file)
index 0000000..57dfd29
--- /dev/null
+++ b/dev-haskell/shuffle/metadata.xml
@@ -0,0 +1,14 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+       <maintainer type="project">
+               <email>haskell@gentoo.org</email>
+               <name>Gentoo Haskell</name>
+       </maintainer>
+       <longdescription>
+               Shuffle tool used by UHC (Utrecht Haskell Compiler)
+       </longdescription>
+       <use>
+               <flag name="network-uri">Get Network.URI from the network-uri package.</flag>
+       </use>
+</pkgmetadata>

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 (file)
index 0000000..0003a4f
--- /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)
+}