gchristensen changed the topic of #nixos-dev to: NixOS Development (#nixos for questions) | https://hydra.nixos.org/jobset/nixos/trunk-combined https://channels.nix.gsc.io/graph.html | 18.03 release managers: fpletz and vcunat | https://logs.nix.samueldr.com/nixos-dev
jtojnar has quit [Remote host closed the connection]
<aszlig> infinisil: thanks, those zfs dependencies have bugged me for a while =)
<infinisil> aszlig: :)
<infinisil> aszlig: Did you run tests locally to know they failed?
Sonarpulse has quit [Ping timeout: 256 seconds]
<infinisil> Because I'm always just getting these "Couldn't resolve hostname" errors, can't even proceed to the actual test
<aszlig> infinisil: i didn't run any tests =)
<aszlig> infinisil: the errors happen because the full closure of the machines built within the installer tests has to be available during the tests
<infinisil> Ah, alright, I'll just make the change you suggested and ask grahamcofborg to run all installer tests
<aszlig> otherwise it will try to fetch the tarballs from the net, which doesn't work
<infinisil> Ohh
<infinisil> I see
<infinisil> Would've never gotten that from that error message
<aszlig> it's probably a good idea to also run the efi tests when using config.system.build.grub, because i'm not sure why grub_efi is in there
<aszlig> ah, the efi variant is not included in config.system.build.grub
<infinisil> Ah, it's grubEfi in grub.nix
<aszlig> it probably won't hurt a lot if grub_efi is in the closure even for the grub1 test
<infinisil> The amount of grubs in grub.nix is a bit too much, the logic is all over the place
<aszlig> s/closure/test &/
jtojnar has joined #nixos-dev
<infinisil> aszlig: Shouldn't system.build.grub be corrected though?
<infinisil> As in, include both grubs
<aszlig> infinisil: ideally it should be only one grub version, not sure why grubEfi needs to be different
<aszlig> like for efi systems realGrub *and* grubEfi is used... so maybe realGrub should return grubEfi on efi systems?
<infinisil> You mean grub and grubEfi in <nixpkgs/nixos/modules/system/boot/loader/grub.nix#L19-L30>?
<aszlig> yep
<aszlig> it was introduced by 37673708661542797d4ad6de2c74e3ce6863b2cb
<aszlig> so maybe it's just an old relic
<infinisil> But which grub when gets used is still decided in the perl script to install it
<infinisil> And by default I think both are in fact used
<infinisil> I think to fix the tests, I'll just do system.build.grubEfi = grubEfi; and propagate that to the tests
<aszlig> well, or just [ pkgs.grub2_efi config.system.build.grub ]
<infinisil> aszlig: I think adding grubEfi would be cleaner, but I don't even know what system.build is used for so not sure hah
<aszlig> infinisil: it's a way to cross-reference derivations within the module system, but to quote the option description: "Attribute set of derivations used to setup the system."
<aszlig> so to add: i _personally_ use it to cross-reference derivations within the module system
<infinisil> I see
<aszlig> whether that is what it was intended to be i guess only niksnut can answer
<infinisil> Well my idea doesn't seem to have worked, still getting the error, I'll try your suggestion
<infinisil> Also errors
<infinisil> I'll add pkgs.grub2_light
<infinisil> Still errors
<aszlig> infinisil: i can look into that later...
<infinisil> I'll just add every damn grub until it works
<infinisil> (then remove as much as i can again)
Sonarpulse has joined #nixos-dev
<infinisil> aszlig: Yeah not sure, please have a look at it. This diff still gets me the error: https://gist.github.com/Infinisil/71259415dff6cb719e4bee7a8f21fec5
Sonarpulse has quit [Ping timeout: 268 seconds]
orivej has quit [Ping timeout: 256 seconds]
<aszlig> infinisil: ah, the reason this doesn't work is because config.system.build.grub is null
<infinisil> It did work before the commit in the PR though?
<aszlig> infinisil: because the value is taken from the machine config of the test machine rather than the target machine that's built
<infinisil> aszlig: Am still a bit lost, you know the fix?
<aszlig> yep
<aszlig> infinisil: although untested
* infinisil tests that
<infinisil> aszlig: Failed as well
<aszlig> infinisil: what's the error?
<aszlig> ah, .override again, sec...
MichaelRaskin has quit [Ping timeout: 256 seconds]
<infinisil> aszlig: I'll be off to bed now though, see ya :)
<aszlig> infinisil: okay, good night, will send you the diff later
<infinisil> Thanks
layus has quit [Quit: ZNC 1.6.5 - http://znc.in]
layus has joined #nixos-dev
lassulus_ has joined #nixos-dev
lassulus has quit [Ping timeout: 264 seconds]
lassulus_ is now known as lassulus
Sonarpulse has joined #nixos-dev
orivej has joined #nixos-dev
orivej has quit [Ping timeout: 240 seconds]
jtojnar has quit [Remote host closed the connection]
orivej has joined #nixos-dev
nocent has quit [Ping timeout: 255 seconds]
sphalerit has quit [Ping timeout: 245 seconds]
peterhoeg has quit [Ping timeout: 256 seconds]
regnat[m] has quit [Ping timeout: 245 seconds]
florianjacob has quit [Ping timeout: 240 seconds]
rycee has quit [Ping timeout: 240 seconds]
hedning[m] has quit [Ping timeout: 245 seconds]
Drakonis[m] has quit [Ping timeout: 255 seconds]
adisbladis[m] has quit [Ping timeout: 256 seconds]
olejorgenb[m] has quit [Ping timeout: 256 seconds]
pstn has quit [Ping timeout: 256 seconds]
copumpkin has quit [Ping timeout: 260 seconds]
dtz has quit [Ping timeout: 240 seconds]
crystalgamma[m] has quit [Ping timeout: 260 seconds]
timokau[m] has quit [Ping timeout: 260 seconds]
codyopel has quit [Ping timeout: 260 seconds]
thefloweringash[ has quit [Ping timeout: 255 seconds]
hl has quit [Ping timeout: 245 seconds]
primeos[m] has quit [Ping timeout: 276 seconds]
orivej has quit [Ping timeout: 264 seconds]
MichaelRaskin has joined #nixos-dev
florianjacob has joined #nixos-dev
crystalgamma[m] has joined #nixos-dev
adisbladis[m] has joined #nixos-dev
pstn has joined #nixos-dev
timokau[m] has joined #nixos-dev
nocent has joined #nixos-dev
olejorgenb[m] has joined #nixos-dev
regnat[m] has joined #nixos-dev
sphalerit has joined #nixos-dev
hl has joined #nixos-dev
primeos[m] has joined #nixos-dev
copumpkin has joined #nixos-dev
codyopel has joined #nixos-dev
thefloweringash[ has joined #nixos-dev
hedning[m] has joined #nixos-dev
Drakonis[m] has joined #nixos-dev
dtz has joined #nixos-dev
rycee has joined #nixos-dev
peterhoeg has joined #nixos-dev
Lisanna has joined #nixos-dev
pie_ has quit [Ping timeout: 260 seconds]
<gchristensen> niksnut "[8/97/141 copied (261.0/639.1 MiB), 89.6/194.7 MiB DL]" what does 8/97/141 mean?/
<clever> gchristensen: running, completed, total, i think
<gchristensen> huh, cool, thanks
<clever> gchristensen: and the 2 MiB numbers, are uncompressed and compressed sizes
<clever> 639mb on-disk, 194mb on-network
<clever> gchristensen: it can also use that format for both building and binary-cache downloading
<clever> [1/0/9 built] building daedalus-js (installPhase): [10:51:31] Finished 'build:renderer:html' after 59 ms
<gchristensen> nice
<niksnut> yeah that's right
<gchristensen> Rust is so nice.
<gchristensen> I'm working on uploading screen shots from NixOS tests to PRs and the type checker is making it so nice
orivej has joined #nixos-dev
orivej has quit [Ping timeout: 240 seconds]
<dtz> o_O screenshots wut the wut the @.@ :D <3
Lisanna has quit [Ping timeout: 248 seconds]
genesis has quit [Read error: No route to host]
orivej has joined #nixos-dev
joepie91 has joined #nixos-dev
joepie91 has quit [Changing host]
joepie91 has joined #nixos-dev
orivej has quit [Ping timeout: 256 seconds]
<simpson> thoughtpolice: Okay, so I've carefully examined the build log. It looks like when called as a Python package, Z3 tries to build a wheel and then is surprised to find that the wheel isn't supported: https://bpaste.net/show/58b5f5b39c68
<simpson> But when called as a normal package, Z3 doesn't build the wheel, which causes the Python bindings to just show up in $out.
<simpson> So maybe the right path is to build Z3 normally against the desired Python, and then do some sort of fixup to get PYTHONPATH sorted out?
<simpson> I also tried `format = "wheel";` but unsurprisingly it did not deliver.
goibhniu has joined #nixos-dev
propumpkin is now known as contrapumpkin
Lisanna has joined #nixos-dev
Lisanna has quit [Client Quit]
genesis has joined #nixos-dev
Sonarpulse has quit [Ping timeout: 240 seconds]
Sonarpulse has joined #nixos-dev
pie_ has joined #nixos-dev
Sonarpulse has quit [Ping timeout: 260 seconds]
obadz has quit [Ping timeout: 264 seconds]
obadz has joined #nixos-dev
goibhniu has quit [Ping timeout: 240 seconds]