[Nix-dev] Mixing cabal and Nix? Or: Best way to install development versions of Haskell packages?

[Aristid Breitkreuz]

Hi Nix list, and especially the Haskell+Nix crowd,

I tried installing the development version of Agda with GHC 7.4.1 (the
released version does not work with 7.4), by first installing all
dependencies with nix and then using cabal install just for Agda.

Am I rightly suspecting that it isn't possible to mix cabal and Agda, even
just for development versions of some packages? What should I do instead?

I get the following error (this is the second run of cabal, previously all
modules compiled fine):

$ cabal install --disable-documentation
Resolving dependencies...
Configuring Agda-2.3.1...
Preprocessing library Agda-2.3.1...
Preprocessing executables for Agda-2.3.1...
Building Agda-2.3.1...
Registering Agda-2.3.1...
Installing library in /home/aristid/.cabal/lib/Agda-2.3.1/ghc-7.4.1
Installing executable(s) in /home/aristid/.cabal/bin
Registering Agda-2.3.1...
cabal: Agda-2.3.1: Warning: haddock-interfaces:
/home/aristid/.cabal/share/doc/Agda-2.3.1/html/Agda.haddock doesn't exist or
isn't a file
Agda-2.3.1: Warning: haddock-html:
/home/aristid/.cabal/share/doc/Agda-2.3.1/html doesn't exist or isn't a
directory
Agda-2.3.1: dependency "QuickCheck-2.4.2-41cb2884cc20cd78948de62849bd9667"
doesn't exist (use --force to override)
Agda-2.3.1: dependency "hashable-1.1.2.3-6744ae0b01d26a6e487359e8e394a1a0"
doesn't exist (use --force to override)
Agda-2.3.1: dependency "hashtables-1.0.1.2-2a270285c74571023751c5ffea4caf85"
doesn't exist (use --force to override)
Agda-2.3.1: dependency "haskeline-0.6.4.6-53e7b518d106e98d880c14df53799b1b"
doesn't exist (use --force to override)
Agda-2.3.1: dependency
"haskell-src-exts-1.11.1-b343ee5c0af8734e78b638456a3886df" doesn't exist
(use
--force to override)
Agda-2.3.1: dependency "mtl-2.0.1.0-db19dd8a7700e3d3adda8aa8fe5bf53d"
doesn't
exist (use --force to override)
Agda-2.3.1: dependency "syb-0.3.6-080afb8a2fa726e4b2c2d98baada324f" doesn't
exist (use --force to override)
Agda-2.3.1: dependency "xhtml-3000.2.0.5-9a3b46ea6bc73a2fd41fd5cdfb7244c3"
doesn't exist (use --force to override)
Agda-2.3.1: dependency "zlib-0.5.3.1-9d34f46bdafd6f87508fd24cd5259d3f"
doesn't
exist (use --force to override)
cabal: Error: some packages failed to install:
Agda-2.3.1 failed during the final install step. The exception was:
ExitFailure 1


This is on 64-bit Ubuntu 11.10 with Nix 0.16 and GHC 7.4.1.


Thanks,

Aristid
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.science.uu.nl/pipermail/nix-dev/attachments/20120309/5a836415/attachment.html