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

[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  wrote:

> 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  wrote:
>
>> 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 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
>>
>
>
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

Re: [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  wrote:

> 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 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
>
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

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

[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 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


pgp4PSmcmThtQ.pgp
Description: OpenPGP digital signature
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

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

[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 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 :).

- Bryan


pgp5cOZos_I0k.pgp
Description: OpenPGP digital signature
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

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

[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 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  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  wrote:
  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 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  
``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

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

[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 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

On Thu, Oct 8, 2015 at 7:20 PM, Taeer Bar-Yam  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  wrote:
>
>> 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 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
>>
>
>
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

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

[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 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  wrote:

> 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 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
>
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

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

[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 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
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

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

[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 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 looking for.
Assumption III: I have succeeded in installing other packages. (e.g. emacs) 
With this syntax. There is an emacs folder in /run/current-system/sw/share/
putting "42" in that same place does result in an error.
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.
Assumption V: nixos-rebuild switch changes what I have installed. That should 
rule out that problem, no?

Thanks for the help. Any other things that could be going wrong?

On Fri, Oct 2, 2015 at 11:41 PM, Bryan Gardiner  wrote:
  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 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.






--
Russell O'Connor  
``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

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

[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 looking for.
Assumption III: I have succeeded in installing other packages. (e.g. emacs)
With this syntax. There is an emacs folder in /run/current-system/sw/share/
putting "42" in that same place does result in an error.
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.
Assumption V: nixos-rebuild switch changes what I have installed. That
should rule out that problem, no?

Thanks for the help. Any other things that could be going wrong?

On Fri, Oct 2, 2015 at 11:41 PM, Bryan Gardiner  wrote:

> 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 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.
>
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

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

[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 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.


pgpBcILLD3FPw.pgp
Description: OpenPGP digital signature
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

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

[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, 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.

And so on. Sorry, that's the best I've got.

James
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev