Re: [Nix-dev] AgdaStdlib Doesn't install

2015-10-13 Thread Taeer Bar-Yam
Hey! It worked! That just begs the question, roconnor, do you have this somewhere in your configuration.nix? Why was yours working from the start? In any case, thank you all so much for helping me get this working. I am much obliged. On Tue, Oct 13, 2015 at 1:10 PM, Taeer Bar-Yam

Re: [Nix-dev] AgdaStdlib Doesn't install

2015-10-13 Thread Bryan Gardiner
On Sat, 10 Oct 2015 20:30:52 -0400 Taeer Bar-Yam wrote: > 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

Re: [Nix-dev] AgdaStdlib Doesn't install

2015-10-13 Thread Bryan Gardiner
On Tue, 13 Oct 2015 09:29:37 -0700 Bryan Gardiner wrote: > On Sat, 10 Oct 2015 20:30:52 -0400 > Taeer Bar-Yam wrote: > > > The file you requested is attached. > > > > I also observed something new and interesting. I tried to take everything > > out of my

Re: [Nix-dev] AgdaStdlib Doesn't install

2015-10-10 Thread roconnor
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

Re: [Nix-dev] AgdaStdlib Doesn't install

2015-10-09 Thread 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

Re: [Nix-dev] AgdaStdlib Doesn't install

2015-10-08 Thread 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

Re: [Nix-dev] AgdaStdlib Doesn't install

2015-10-06 Thread James Cook
On 3 October 2015 at 17:22, Taeer Bar-Yam 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

Re: [Nix-dev] AgdaStdlib Doesn't install

2015-10-05 Thread roconnor
Does $ nix-store --read-log /run/current-system/sw say anything interesting? $ nix-store -q -deriver /run/current-system/sw will output a filename. Are there references to AgdaStdlib in that file? On Sat, 3 Oct 2015, Taeer Bar-Yam wrote: Assumption I: Check. Putting in bad syntax to

Re: [Nix-dev] AgdaStdlib Doesn't install

2015-10-03 Thread Taeer Bar-Yam
Assumption I: Check. Putting in bad syntax to configuration.nix results in an error from nixos-rebuil Assumption II: I'm not sure exactly what you mean by "check under test_profile" The directory at `nix-build --no-out-link "" -A AgdaStdlib` has a share/agda directory, which I think is what you're

Re: [Nix-dev] AgdaStdlib Doesn't install

2015-10-02 Thread James Cook
On 2 October 2015 at 13:12, Taeer Bar-Yam wrote: > I recently added pkgs.haskellPackages.Agda and pkgs.AgdaStdlib to my > environment.systemPackages (in configuration.nix), and Agda still can't find > the stdlib packages. > > I discussed this with someone on IRC for a while,

Re: [Nix-dev] AgdaStdlib Doesn't install

2015-10-02 Thread Bryan Gardiner
On Fri, 2 Oct 2015 19:40:19 -0700 James Cook wrote: > On 2 October 2015 at 13:12, Taeer Bar-Yam wrote: > > I recently added pkgs.haskellPackages.Agda and pkgs.AgdaStdlib to my > > environment.systemPackages (in configuration.nix), and Agda still can't