[Nix-dev] AgdaStdlib Doesn't install

[Bryan Gardiner]

On Fri, 2 Oct 2015 19:40:19 -0700
James Cook <james.cook at utoronto.ca> wrote:

> On 2 October 2015 at 13:12, Taeer Bar-Yam <tb442 at cornell.edu> 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, and we discovered that I
> > don't have an "agda" folder in /run/current-system/sw/share/ which I am
> > supposed to have if pkgs.AgdaStdlib is in environment.systemPackages.
> >
> > Furthermore, when they put the same line in their configuration.nix, that
> > folder did appear in their /run/current-system/sw/share/
> >
> > I'm sure this will come up, so I'll confirm now: I have `nixos-rebuild
> > switch`ed to the new system.
> >
> > Does anyone have an idea of what's going on here? Is there any other
> > diagnostic information that would be helpful?
> >
> >   --Taeer
> 
> Hi Taeer,
> 
> That's really strange. I think you will have to debug this on your
> end. All I can think if is to examine every little step that makes us
> think putting pkgs.AgdaStdlib in your configuration should make it
> appear under /run/current-system/sw/share/. For example:
> 
> - Assumption: nixos-rebuild is reading your configuration.nix. You
> could test this by putting some bad syntax at the start of
> configuration.nix and rebuilding.
> 
> - Assumption: pkgs.AgdaStdlib produces a "share/agda" directory with
> the version of nixpkgs you are using. You could try installing it with
> nix-env -p test_profile -i -A pkgs.AgdaStdlib and checking under
> test_profile
> 
> - Assumption: Your syntax for specifying environment.systemPackages is
> correct. Try putting other packages there and see if their files show
> up under /run/current-system/sw/share/. Try putting something that's
> not a package there (e.g. the number 42) and see if nixos-rebuild
> complains (it should).
> 
> - Assumption: nixos-rebuild is using the version of nixpkgs you think
> it's using. You could test this by messing up your nixpkgs (e.g. by
> adding bad syntax to all-packages.nix) and seeing if nixos-rebuild
> complains.

There's also the one that tripped me up:

- Assumption: NixOS is mounting /boot properly, otherwise new system
  generations won't take effect on boot but 'switch' will think
  everything's applied.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 801 bytes
Desc: OpenPGP digital signature
Url : http://lists.science.uu.nl/pipermail/nix-dev/attachments/20151002/7d3a0e7c/attachment.bin