[Nix-dev] AgdaStdlib Doesn't install

[Taeer Bar-Yam]

What do I add to my configuration.nix?
environment.pathsToLink = ["/share/agda"]
?
Also, what is the protocol for libraries for programming languages. Like,
where is the C stdlib kept? Is it the same for all languages?

On Tue, Oct 13, 2015 at 12:38 PM, Bryan Gardiner <bog at khumba.net> wrote:

> On Tue, 13 Oct 2015 09:29:37 -0700
> Bryan Gardiner <bog at khumba.net> wrote:
>
> > On Sat, 10 Oct 2015 20:30:52 -0400
> > Taeer Bar-Yam <tb442 at cornell.edu> 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 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).
> >
> > share/emacs holds emacs support files, which Nix and other things like
> > Git install, so that's expected to be present regardless of whether
> > emacs is installed.
> >
> > > 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?
> >
> > I can confirm that adding AgdaStdlib to environment.systemPackages
> > with a "nixos-rebuild switch" doesn't cause
> > /run/current-system/sw/share/agda to be created, like it does with
> > ~/.nix-profile/share/agda in a user profile.  Now here's hoping
> > software (de)installation doesn't randomly stop working for me too :).
>
> I think your problem is that "/share/agda" is not listed in
> environment.pathsToLink.  See:
>
> https://nixos.org/nixos/manual/options.html#opt-environment.pathsToLink
>
>
> https://github.com/NixOS/nixpkgs/blob/f81982e779e51402dc4e4717718b1ba50a739004/nixos/modules/config/system-path.nix#L102-L124
>
> Does it work to add that to your configuration.nix?  If so, I'd
> imagine that it should be added to the default list (*if* it really is
> required for that path to be linked there, I know nothing about Agda).
>
> Cheers,
> Bryan
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.science.uu.nl/pipermail/nix-dev/attachments/20151013/5a3a9014/attachment.html