I don't really know much of how the wrapper operates. Is there a good
description somewhere?
Open it. Its a bash script which adds lots of
-package-db=PATH-to-nix-store arguments or such
If you are looking at it also pay attention to ghc-pkg list not showing
core packages (which ship with ghc).
Hi Aristid,
Am I rightly suspecting that it isn't possible to mix cabal and Agda, even
just for development versions of some packages?
Cabal and Nix work together just fine. What doesn't work, though, is mixing
Haskell software that's been installed via Nix and Haskell software that's been
The mailing list doesn't seem to like 100 KB attachments, so here's a link
instead:
http://dl.dropbox.com/u/6149885/agda-install-20120309.txt
The message that I tried to sent is following.
-- Forwarded message --
From: Aristid Breitkreuz arist...@googlemail.com
Date: 2012/3/9
OK, I got it to work (or so it seems right now). Essentially, I had to pass
--force to ghc-pkg. But because there is no flag for cabal install to pass
that, I did this:
$ runghc Setup.hs copy
$ runghc Setup.hs register --gen-pkg-conf=Agda.conf
$ ghc-pkg --user register Agda.conf
Is there a
Hi Aristid,
the build log says:
Using Cabal-1.10.2.0 compiled by ghc-7.0
That doesn't seem right. That library almost certainly didn't come from Nix. Is
it possible that your ~/.cabal and/or ~/.ghc directories contained remnants of
earlier builds that were performed with the system compiler?
When I use cabal by hand, I don't get a clean Nix environment of course. Is
the best way to write a Nix package for the development version of Agda?
Note that I figured out a way to get it to work by hand, by passing --force
to ghc-pkg (in my last email, when I copied the command the --force got
Hi Peter and Aristid.
Sorry, I seem to come late to this discussion.
Cabal and Nix work together just fine.
Is this what you're observing, really? In my experience, the wrapper
doesn't work nicely with cabal-install, because cabal gets confused by
all the wrapper's package config flags. I find
Hi.
$ runghc Setup.hs copy
$ runghc Setup.hs register --gen-pkg-conf=Agda.conf
$ ghc-pkg --user register Agda.conf
Is there a better way? :)
Yes, passing the --force option to cabal with --ghc-pkg-options=--force
Cheers,
Andres
___
nix-dev
When I use cabal by hand, I don't get a clean Nix environment of course. Is
the best way to write a Nix package for the development version of Agda?
Hello,
there is cabal2nix which works very well. I usually run cabal2nix to
get a Nix expression for a package which is on Hackage but not in
Hi Alexander,
I am using the development version of Agda which is not on Hackage yet.
That's why I did not use cabal2nix. :-)
Cheers,
Aristid
2012/3/9 Alexander Foremny alexanderfore...@googlemail.com
When I use cabal by hand, I don't get a clean Nix environment of course.
Is the best way
Hi Andres,
Cabal and Nix work together just fine.
Is this what you're observing, really?
well, I never had any problems before. Maybe that is because I use
cabal-install rarely, and I never used to it install anything, so I'm
probably inexperienced in that area.
An option that I'm
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
Excerpts from Aristid Breitkreuz's message of Fri Mar 09 00:32:57 +0100 2012:
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?
Give hack-nix a try: It builds an environment automatically for your
13 matches
Mail list logo
