[Nix-dev] AgdaStdlib Doesn't install

[Taeer Bar-Yam]

@roconnor: Hey!
$ nix-store --read-log /run/current-system/sw
prints a whole bunch of 'collision between' lines, but when I pipe it into
grep it returns nothing for 'agda' or 'Agda'

The file pointed to by
$ nix-store -q -deriver /run/current-system/sw
Has four references to Agda. Two to the executable itself
(haskell-agda-ghc) and two to (agda-stdlib) so it appears both are being
loaded

@James Cook:
What should my /path/to/my/nixpkgs be? I haven't added any custom nixpkgs
directories or whatnot. I don't think this should be causing the problem,
but on the other hand nothing should be causing the problem :P

Thanks again for all the help guys.
  --Taeer


On Tue, Oct 6, 2015 at 2:39 AM, James Cook <james.cook at utoronto.ca> wrote:

> On 3 October 2015 at 17:22, Taeer Bar-Yam <tb442 at cornell.edu> wrote:
> > Assumption IV: I'm not sure how this works. Where is all-packages.nix? I
> > switched to the unstable branch with nix-channel, but that should be a
> > user-level change, right? Not system-level.
>
> I'm actually not sure where nixos-rebuild finds the nixpkgs tree by
> default, but I believe you can override it by adding the option -I
> nixpkgs=/path/to/my/nixpkgs , or by setting the NIX_PATH environment
> variable to nixpkgs=/path/to/my/nixpkgs.
>
> The only way I can imagine this would matter is if a recent change to
> AgdaStdlib caused the share/agda directory to appear or disappear.
>
> James
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.science.uu.nl/pipermail/nix-dev/attachments/20151008/95139aa2/attachment.html