> > Thanks for reviewing Peter. It occurs to me that maybe Agda should have
> > a local mtl (as haskeline) ... Andres, would that avoid the earlier
> > problem
> > related to mtl in r34358?
>
> I'm in general in favour of trying to patch packages to build with the
> later mtl rather than forcing them to use the older one. I had patched
> xmobar (iirc) a few days ago, and asked a similar change to be revoked
> because it was forcing xmobar to an older version of mtl after I had
> already patched it to work with the latest.
>
> Here I'd also try if Agda doesn't in fact work with mtl-2.1.1 and
> transformers-3. If it really doesn't, these changes are ok.
>
> Cheers,
> Andres
Hi Andres,
It seems that Agda does build and work with latest mtl as you suggested.
Attached is the patch; I understand this is to be included in cabal2nix so I
did not commit it directly into the repository.
Saludos,
Karn
diff --git a/pkgs/development/libraries/haskell/Agda/default.nix b/pkgs/development/libraries/haskell/Agda/default.nix
index 1aa4d4f..c72177e 100644
--- a/pkgs/development/libraries/haskell/Agda/default.nix
+++ b/pkgs/development/libraries/haskell/Agda/default.nix
@@ -13,6 +13,9 @@ cabal.mkDerivation (self: {
QuickCheck syb xhtml zlib
];
buildTools = [ alex happy ];
+ patchPhase = ''
+ sed -i -e 's|mtl == 2.0.\*|mtl|' Agda.cabal
+ '';
meta = {
homepage = "http://wiki.portal.chalmers.se/agda/";;
description = "A dependently typed functional programming language and proof assistant";
_______________________________________________
nix-dev mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-dev
