diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-04-01 02:18:07 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-04-01 02:18:07 +0000 |
| commit | 03fce0c93edcbc1f5464ae1cf2e1da92a73022aa (patch) | |
| tree | fd69c1f9823a4889781fd8b7fd066864a404aad4 /sci-mathematics/agda/files | |
| parent | Make use of the new hwids ebuild. (diff) | |
| download | gentoo-2-03fce0c93edcbc1f5464ae1cf2e1da92a73022aa.tar.gz gentoo-2-03fce0c93edcbc1f5464ae1cf2e1da92a73022aa.tar.bz2 gentoo-2-03fce0c93edcbc1f5464ae1cf2e1da92a73022aa.zip | |
Fix agda 2.3.0.1 build with haskell-src-exts-1.13.0
(Portage version: 2.1.10.52/cvs/Linux x86_64)
Diffstat (limited to 'sci-mathematics/agda/files')
| -rw-r--r-- | sci-mathematics/agda/files/agda-2.3.0.1-haskell-src-exts-1.13.patch | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/sci-mathematics/agda/files/agda-2.3.0.1-haskell-src-exts-1.13.patch b/sci-mathematics/agda/files/agda-2.3.0.1-haskell-src-exts-1.13.patch new file mode 100644 index 000000000000..06e3c702e864 --- /dev/null +++ b/sci-mathematics/agda/files/agda-2.3.0.1-haskell-src-exts-1.13.patch @@ -0,0 +1,26 @@ +--- Agda-2.3.0.1-orig/Agda.cabal 2012-03-12 21:09:34.000000000 +1100 ++++ Agda-2.3.0.1/Agda.cabal 2012-04-01 11:54:47.565833931 +1000 +@@ -77,7 +77,7 @@ + build-depends: epic >= 0.1.13 && < 0.10 + build-depends: mtl == 2.0.*, + QuickCheck >= 2.3 && < 2.5, +- haskell-src-exts >= 1.9.6 && < 1.12, ++ haskell-src-exts >= 1.9.6 && < 1.14, + containers >= 0.1 && < 0.5, + pretty >= 1.0 && < 1.2, + directory >= 1.0 && < 1.2, +--- Agda-2.3.0.1-orig/src/full/Agda/Compiler/MAlonzo/Compiler.hs 2012-04-01 11:27:52.058688415 +1000 ++++ Agda-2.3.0.1/src/full/Agda/Compiler/MAlonzo/Compiler.hs 2012-04-01 11:30:42.732658634 +1000 +@@ -466,8 +466,11 @@ + ] + where + parse = HS.parseWithMode ++#if MIN_VERSION_haskell_src_exts(1,13,0) ++ HS.defaultParseMode{HS.extensions = [HS.ExplicitForAll]} ++#else + HS.defaultParseMode{HS.extensions = [HS.ExplicitForall]} +- ++#endif + ok (HS.ParseOk d) = d + ok HS.ParseFailed{} = __IMPOSSIBLE__ + |