[Nix-dev] AgdaStdlib Doesn't install

[Taeer Bar-Yam]

I just tested this on my other computer running NixOS (the problem original
occurred in a VM), and the same problem occurred. This makes me think there
is something wrong in my configuration.nix, and not with the particular
setup of my VM.

Can others confirm that adding pkgs.AgdaStdlib generates the appropriate
/run/current-system/sw/share/agda/ on their machines?

Here's my configuration.nix if anyone can see something wrong with it:
https://gist.github.com/Radvendii/bf3799a4f332fc03468a

On Thu, Oct 8, 2015 at 7:20 PM, Taeer Bar-Yam <tb442 at cornell.edu> wrote:

> @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/20151009/e8f85d10/attachment-0001.html