[Nix-dev] AgdaStdlib Doesn't install

[roconnor at theorem.ca]

On Fri, 9 Oct 2015, Taeer Bar-Yam wrote:

> 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

Well I had to remove haskellPackages.xmonadContrib and
haskellPackages.xmonadExtras because they didn't exist for me.  But after 
that it worked.

I don't suppose you'd be willing to email me the file generated by

$ tar -cf - $(nix-store -qR $(nix-store -q --deriver /run/current-system/sw)) | bzip2 -9 > sw.source.tar.bz2

This tar file contains all the sources and build instructions for building 
your system path.  I'm expecting the file size is not too much larger than 
1 MB.

> 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
> 
> 
> 
> 
>

-- 
Russell O'Connor                                      <http://r6.ca/>
``All talk about `theft,''' the general counsel of the American Graphophone
Company wrote, ``is the merest claptrap, for there exists no property in
ideas musical, literary or artistic, except as defined by statute.''