[Nix-dev] AgdaStdlib Doesn't install

[Taeer Bar-Yam]

The file you requested is attached.

I also observed something new and interesting. I tried to take everything
out of my configuration.nix except the bare minimum and AgdaStdlib.
What's weird is that the things in my /run/current-system/sw/share/ didn't
disappear. I'm not sure if they were supposed to, but there was still a
emacs/ folder there even though emacs wasn't installed. (I checked, and
`emacs` doesn't work).

It seems like what is happening is the /run/current-system/sw/share/ folder
stopped being updated at some point after I had installed certain things
but not others. Any idea why that would happen? Or am I misreading the
situation?

On Sat, Oct 10, 2015 at 12:30 PM, <roconnor at theorem.ca> wrote:

> 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.''
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.science.uu.nl/pipermail/nix-dev/attachments/20151010/42c64e9a/attachment-0001.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: sw.source.tar.bz2
Type: application/x-bzip2
Size: 571984 bytes
Desc: not available
Url : http://lists.science.uu.nl/pipermail/nix-dev/attachments/20151010/42c64e9a/attachment-0001.bz2