[Agda] Patch for compilation with GHC-7

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Wed Nov 3 13:01:13 CET 2010


On 2010-11-02 16:47, kahl at cas.mcmaster.ca wrote:
> But I definitely noticed that I had to pass ``-no-test''
> to ``darcs record'', since the test wanted to call ``cabal install''.

Agda failed to build on Windows (but not Linux/MacOS) because some file
lacked a final newline character, so I added a test to check for such
characters. I didn't want to use Unix tools in the test, because the
test should work on Windows, so I wrote a small Haskell program instead.

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.

-- 
/NAD


More information about the Agda mailing list