[Agda] Patch for compilation with GHC-7

[Nils Anders Danielsson]

On 2010-11-03 12:01, Nils Anders Danielsson wrote:
> The Makefile uses cabal-install to install this program, but you can
> install it manually instead, just make sure that there is a binary
> src/fix-agda-whitespace/dist/build/fix-agda-whitespace/fix-agda-whitespace.

This is incorrect, because darcs runs the test in a clean copy of the
repository. I changed the setup; now you need to install
fix-agda-whitespace somewhere on your PATH.

Anyway, it seems as if darcs 2.5 uses --no-test by default.

-- 
/NAD