diff options
| author |   Mark Wright <gienah@gentoo.org> | 2013-09-13 10:03:22 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2013-09-13 10:03:22 +0000 |
| commit | f4e533234394d8ad24c010596b43961e93afae78 (patch) | |
| tree | 5a42f68bb33b59478d592db896ee82aab8a515fc /dev-haskell | |
| parent | Sync with overlay: add ~ppc ~ppc64 ~sparc keywords (diff) | |
| download | historical-f4e533234394d8ad24c010596b43961e93afae78.tar.gz historical-f4e533234394d8ad24c010596b43961e93afae78.tar.bz2 historical-f4e533234394d8ad24c010596b43961e93afae78.zip | |
Add logict
Package-Manager: portage-2.2.4/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F
Diffstat (limited to 'dev-haskell')
| -rw-r--r-- | dev-haskell/logict/ChangeLog | 9 | ||||
| -rw-r--r-- | dev-haskell/logict/Manifest | 15 | ||||
| -rw-r--r-- | dev-haskell/logict/files/logict-0.5.0-ghc-6.12.patch | 20 | ||||
| -rw-r--r-- | dev-haskell/logict/logict-0.6.0.1.ebuild | 27 | ||||
| -rw-r--r-- | dev-haskell/logict/metadata.xml | 15 |
5 files changed, 86 insertions, 0 deletions
diff --git a/dev-haskell/logict/ChangeLog b/dev-haskell/logict/ChangeLog new file mode 100644 index 000000000000..630445e068bc --- /dev/null +++ b/dev-haskell/logict/ChangeLog @@ -0,0 +1,9 @@ +# ChangeLog for dev-haskell/logict +# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/dev-haskell/logict/ChangeLog,v 1.1 2013/09/13 10:03:12 gienah Exp $ + +*logict-0.6.0.1 (13 Sep 2013) + + 13 Sep 2013; Mark Wright <gienah@gentoo.org> + +files/logict-0.5.0-ghc-6.12.patch, +logict-0.6.0.1.ebuild, +metadata.xml: + Add logict diff --git a/dev-haskell/logict/Manifest b/dev-haskell/logict/Manifest new file mode 100644 index 000000000000..24b5087ec345 --- /dev/null +++ b/dev-haskell/logict/Manifest @@ -0,0 +1,15 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA256 + +AUX logict-0.5.0-ghc-6.12.patch 793 SHA256 47bff84d3917dd0b9e6232a6d16976ec9d50f91d2da93c467fe9e7e697016e8b SHA512 f887b1fd5a05db531196eae501cef8beecb407a1e91fab81e2f5e130183e51c91d43ae83e5640b3b6538c7dfeb82a5b7692380f703d5f7d6ca5baa40caae87dd WHIRLPOOL aa827b876d228d74ecc6f0a3e87e3fe4d42597ef16e0d9daa563a51628e555e9d9e5f44da8e30a16eed99f1982c03e569fe519aa4661321af6df5eb337363d44 +DIST logict-0.6.0.1.tar.gz 5288 SHA256 e2f6e0877ce9323d9401f55e68351e039135060e9d77c1b6b758177abacdf66b SHA512 ebed60ef3d977cdd6038482942447c66ceecd5c5e2ccbd801b510bf06c0dd7ef6f45b7af738ea3b149b58b4ad730ca286c31625eda4880dc71ba09b96e234774 WHIRLPOOL d54435f56fb8b78d7d327bab985f785e59a44b3ee8d1ffdabdbc6dc29435d68811471d74d6f5a8f7dcc7eca9b198e467f425e0d2392ffe0aa2c11e21093f7d75 +EBUILD logict-0.6.0.1.ebuild 805 SHA256 a16e78829156adb6994cb0bc2b78a7a612dfa51649f9e09e6d7cbad6296155ce SHA512 e01b274ac34aed1c421ba5cd5cf801a178eaecd768f675bb1145e21d41edd3c361333c7d3f19c2402a37a93eb779974778e7866a8c5aaf13123047e5dcfd98e7 WHIRLPOOL b0f56848a8a91d26804a9118347434b57d1c9f85a6e099216e2a6b4793e9fd5c9309846275a4bad76eb3ce159b08c26496c9467bbcef9ca0df2e3d300fb06904 +MISC ChangeLog 377 SHA256 4d215da61d164858a4661f5a0f39330a6ce03260f0ffa67055b5d7b0a14bd50e SHA512 f7929e4f69ac17d6c1fd2a8fde7f292d944d35f637d046e9e4994016b38d2f889d691222a7c93b7bcb9466961b22dc610d15d5f4a09ce67b04135ec9c674c6c4 WHIRLPOOL 58815784a85b0db7d72fc489564d26b38050b8fe00179902ad96e6f26e4c8f3ea78055fba314ce2db2ea2e60eb893d224e29136473d7210ff8113258e4f18047 +MISC metadata.xml 546 SHA256 979510c8d180570270ffd5e5d76d1cd0c2c0a0f8f4598c228f96f0665b52c0c5 SHA512 1997de6dfc9b41099dd142305ba1d53e5a4ebba027a95c9c4a0247e55c9c3756b8faa71983e631a2cfdfa3d9057c8a29899932d9c935e3730fbf535187ab6113 WHIRLPOOL cb52f27aad91081157a470d168ca9f11277e97010dc327148cca362d3128e65ec243b23174009b7915c7fa90a83ac53bff13f8934394c7760dbfc671480f8d83 +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.20 (GNU/Linux) + +iF4EAREIAAYFAlIy4k8ACgkQoBEVQmGOlx8nAwEAksS5u9f4dr6w0i23p5PUkfqq +d/Em/x42BAMUX1jfQF8BAKQzn8cKHuGOwR0oV9RbKaVdJlFT6qM0LZk1XSTLrkfx +=pbEr +-----END PGP SIGNATURE----- diff --git a/dev-haskell/logict/files/logict-0.5.0-ghc-6.12.patch b/dev-haskell/logict/files/logict-0.5.0-ghc-6.12.patch new file mode 100644 index 000000000000..7e2449494e96 --- /dev/null +++ b/dev-haskell/logict/files/logict-0.5.0-ghc-6.12.patch @@ -0,0 +1,20 @@ +--- logict-0.5.0-orig/Control/Monad/Logic.hs 2011-07-30 02:23:36.000000000 +1000 ++++ logict-0.5.0/Control/Monad/Logic.hs 2012-01-06 20:53:00.424125711 +1100 +@@ -1,4 +1,4 @@ +-{-# LANGUAGE UndecidableInstances, Rank2Types, FlexibleInstances, MultiParamTypeClasses #-} ++{-# LANGUAGE UndecidableInstances, Rank2Types, FlexibleInstances, MultiParamTypeClasses, CPP #-} + + ------------------------------------------------------------------------- + -- | +@@ -155,6 +155,11 @@ + where + ssk a fk = return $ Just (a, (lift fk >>= reflect)) + ++#if !MIN_VERSION_mtl(2,0,0) ++instance F.Foldable Identity where ++ foldMap f (Identity x) = f x ++#endif ++ + instance (Monad m, F.Foldable m) => F.Foldable (LogicT m) where + foldMap f m = F.fold $ unLogicT m (liftM . mappend . f) (return mempty) + diff --git a/dev-haskell/logict/logict-0.6.0.1.ebuild b/dev-haskell/logict/logict-0.6.0.1.ebuild new file mode 100644 index 000000000000..41004b4e118a --- /dev/null +++ b/dev-haskell/logict/logict-0.6.0.1.ebuild @@ -0,0 +1,27 @@ +# Copyright 1999-2013 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: /var/cvsroot/gentoo-x86/dev-haskell/logict/logict-0.6.0.1.ebuild,v 1.1 2013/09/13 10:03:12 gienah Exp $ + +EAPI=5 + +# ebuild generated by hackport 0.3.3.9999 + +CABAL_FEATURES="lib profile haddock hoogle hscolour" +inherit base haskell-cabal + +DESCRIPTION="A backtracking logic-programming monad." +HOMEPAGE="http://code.haskell.org/~dolio/logict" +SRC_URI="mirror://hackage/packages/archive/${PN}/${PV}/${P}.tar.gz" + +LICENSE="BSD" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~ppc ~ppc64 ~sparc ~x86" +IUSE="" + +RDEPEND=">=dev-haskell/mtl-2:=[profile?] + <dev-haskell/mtl-2.3:=[profile?] + >=dev-lang/ghc-6.10.4:=" +DEPEND="${RDEPEND} + >=dev-haskell/cabal-0" + +PATCHES=("${FILESDIR}/${PN}-0.5.0-ghc-6.12.patch")
\ No newline at end of file diff --git a/dev-haskell/logict/metadata.xml b/dev-haskell/logict/metadata.xml new file mode 100644 index 000000000000..c4d2cac84b1d --- /dev/null +++ b/dev-haskell/logict/metadata.xml @@ -0,0 +1,15 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <herd>haskell</herd> + <maintainer> + <email>haskell@gentoo.org</email> + </maintainer> + <longdescription> + A continuation-based, backtracking, logic programming monad. + An adaptation of the two-continuation implementation found + in the paper "Backtracking, Interleaving, and Terminating + Monad Transformers" available here: + <http://okmij.org/ftp/papers/LogicT.pdf> + </longdescription> +</pkgmetadata> |