summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSergei Trofimovich <slyfox@gentoo.org>2017-02-15 22:17:29 +0000
committerSergei Trofimovich <slyfox@gentoo.org>2017-02-16 10:21:23 +0000
commit4f70aacacff82814258dba0b253ffbe172157093 (patch)
tree53358ee5839da97cd618b5f153d55412e213b2b9 /dev-haskell/uhc-light
parentdev-haskell/shuffle: new package, a depend of sci-mathematics/agda-2.5.2 (diff)
downloadgentoo-4f70aacacff82814258dba0b253ffbe172157093.tar.gz
gentoo-4f70aacacff82814258dba0b253ffbe172157093.tar.bz2
gentoo-4f70aacacff82814258dba0b253ffbe172157093.zip
dev-haskell/uhc-light: new package, a depend of sci-mathematics/agda-2.5.2
Part of UHC packaged as cabal/hackage installable library Package-Manager: Portage-2.3.3, Repoman-2.3.1
Diffstat (limited to 'dev-haskell/uhc-light')
-rw-r--r--dev-haskell/uhc-light/Manifest1
-rw-r--r--dev-haskell/uhc-light/metadata.xml11
-rw-r--r--dev-haskell/uhc-light/uhc-light-1.1.9.5.ebuild36
3 files changed, 48 insertions, 0 deletions
diff --git a/dev-haskell/uhc-light/Manifest b/dev-haskell/uhc-light/Manifest
new file mode 100644
index 00000000000..6757a8cbfad
--- /dev/null
+++ b/dev-haskell/uhc-light/Manifest
@@ -0,0 +1 @@
+DIST uhc-light-1.1.9.5.tar.gz 4546645 SHA256 eabaf3cdac62afb5c8d37f8ceb0997fd85647493d2d4cc1b0d00d954d586681d SHA512 1d31cf2be92689dc0fd989db158623ba36455f33dad70905063cd0849e65cd3f2b78d29a6ed7a943a371e14afc45c95dc552c5a6c64109b192b9ca57cacc7fea WHIRLPOOL fe38131bb100ef2968d2329a921b7fad00a105a7afe0fc0394f425631597765aaa43b763cb1130f68221bb1a6a9f7ffb802d55cf56a5ad11588001d9d5832ff8
diff --git a/dev-haskell/uhc-light/metadata.xml b/dev-haskell/uhc-light/metadata.xml
new file mode 100644
index 00000000000..cac816ff701
--- /dev/null
+++ b/dev-haskell/uhc-light/metadata.xml
@@ -0,0 +1,11 @@
+<?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>
+ A 'light' variant of UHC including only an API and executables for compiling to Core representation (uhcl) and running CoreRun (uhcr). This version is just to test the infrastructure. Later versions will provide a fleshing out of the API and completion of the now rudimentary platform independent (Haskell) interpreted running etc..
+ </longdescription>
+</pkgmetadata>
diff --git a/dev-haskell/uhc-light/uhc-light-1.1.9.5.ebuild b/dev-haskell/uhc-light/uhc-light-1.1.9.5.ebuild
new file mode 100644
index 00000000000..42bb1f836ef
--- /dev/null
+++ b/dev-haskell/uhc-light/uhc-light-1.1.9.5.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=6
+
+# ebuild generated by hackport 0.5.1.9999
+
+CABAL_FEATURES="lib profile" # broken markup: haddock hoogle hscolour"
+inherit haskell-cabal
+
+DESCRIPTION="Part of UHC packaged as cabal/hackage installable library"
+HOMEPAGE="https://github.com/UU-ComputerScience/uhc"
+SRC_URI="mirror://hackage/packages/archive/${PN}/${PV}/${P}.tar.gz"
+
+LICENSE="BSD"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+RDEPEND="dev-haskell/fgl:=[profile?]
+ >=dev-haskell/hashable-1.2.4:=[profile?] <dev-haskell/hashable-1.3:=[profile?]
+ dev-haskell/mtl:=[profile?]
+ dev-haskell/network:=[profile?]
+ dev-haskell/old-locale:=[profile?]
+ dev-haskell/primitive:=[profile?]
+ dev-haskell/syb:=[profile?]
+ >=dev-haskell/uhc-util-0.1.6.7:=[profile?] <dev-haskell/uhc-util-0.1.7:=[profile?]
+ dev-haskell/utf8-string:=[profile?]
+ >=dev-haskell/uulib-0.9.19:=[profile?]
+ dev-haskell/vector:=[profile?]
+ >=dev-lang/ghc-7.8.2:=
+"
+DEPEND="${RDEPEND}
+ >=dev-haskell/cabal-1.18.1.3
+"