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 <tb...@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.c...@utoronto.ca> wrote:
On 3 October 2015 at 17:22, Taeer Bar-Yam <tb...@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.''
_______________________________________________
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev
