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
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
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
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
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
@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
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
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
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
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,
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
11 matches
Mail list logo