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
orivej has quit [Ping timeout: 264 seconds]
matthewbauer has quit [Ping timeout: 256 seconds]
matthewbauer has joined #nixos-dev
pie_ has quit [Ping timeout: 255 seconds]
matthewbauer has quit [Read error: Connection reset by peer]
matthewbauer has joined #nixos-dev
matthewbauer has quit [Read error: Connection reset by peer]
matthewbauer has joined #nixos-dev
matthewbauer has quit [Read error: Connection reset by peer]
matthewbauer has joined #nixos-dev
matthewbauer has quit [Read error: Connection reset by peer]
matthewbauer has joined #nixos-dev
matthewbauer has quit [Read error: Connection reset by peer]
matthewbauer has joined #nixos-dev
lassulus_ has joined #nixos-dev
lassulus has quit [Ping timeout: 256 seconds]
lassulus_ is now known as lassulus
matthewbauer has quit [Ping timeout: 256 seconds]
<dtz> reverted git update to address reported fetchgit problems, haven't looked into it but will as soon as I have more time :). Anyway sorry for the breakage in the meantime.
orivej has joined #nixos-dev
pie_ has joined #nixos-dev
orivej has quit [Ping timeout: 260 seconds]
pie_ has quit [Ping timeout: 240 seconds]
octe has quit [Ping timeout: 240 seconds]
pie_ has joined #nixos-dev
pie_ has quit [Ping timeout: 256 seconds]
pie_ has joined #nixos-dev
MichaelRaskin has quit [Quit: MichaelRaskin]
FRidh has joined #nixos-dev
__Sander__ has joined #nixos-dev
octe has joined #nixos-dev
pie_ has quit [Read error: Connection reset by peer]
pie_ has joined #nixos-dev
<peti> jtojnar: No, that is a manual process.
pie_ has quit [Remote host closed the connection]
pie_ has joined #nixos-dev
orivej has joined #nixos-dev
pie_ has quit [Read error: Connection reset by peer]
jtojnar has quit [Remote host closed the connection]
jtojnar has joined #nixos-dev
lopsided98 has joined #nixos-dev
teto1 has quit [Ping timeout: 256 seconds]
teto1 has joined #nixos-dev
__Sander__ has quit [Ping timeout: 265 seconds]
matthewbauer has joined #nixos-dev
pie_ has joined #nixos-dev
__Sander__ has joined #nixos-dev
matthewbauer has quit [Ping timeout: 240 seconds]
orivej has quit [Ping timeout: 264 seconds]
matthewbauer has joined #nixos-dev
cransom has quit [Quit: WeeChat 2.0]
matthewbauer has quit [Read error: Connection reset by peer]
matthewbauer has joined #nixos-dev
__Sander__ has quit [Quit: Konversation terminated!]
pie_ has quit [Read error: Connection reset by peer]
pie_ has joined #nixos-dev
matthewbauer has quit [Remote host closed the connection]
phreedom has quit [Remote host closed the connection]
matthewbauer has joined #nixos-dev
phreedom has joined #nixos-dev
matthewbauer has quit [Read error: Connection reset by peer]
matthewbauer has joined #nixos-dev
matthewbauer has quit [Read error: Connection reset by peer]
matthewbauer has joined #nixos-dev
matthewbauer has quit [Read error: Connection reset by peer]
matthewbauer has joined #nixos-dev
pie_ has quit [Ping timeout: 240 seconds]
matthewbauer has quit [Read error: Connection reset by peer]
Sonarpulse has joined #nixos-dev
matthewbauer has joined #nixos-dev
matthewbauer has quit [Read error: Connection reset by peer]
matthewbauer has joined #nixos-dev
phreedom has quit [Ping timeout: 250 seconds]
matthewbauer has quit [Ping timeout: 256 seconds]
orivej has joined #nixos-dev
matthewbauer has joined #nixos-dev
matthewbauer has quit [Ping timeout: 245 seconds]
matthewbauer has joined #nixos-dev
MichaelRaskin has joined #nixos-dev
LnL has quit [Ping timeout: 265 seconds]
LnL has joined #nixos-dev
phreedom has joined #nixos-dev
matthewbauer has quit [Read error: Connection reset by peer]
FRidh has quit [Remote host closed the connection]
matthewbauer has joined #nixos-dev
matthewbauer has quit [Read error: Connection reset by peer]
matthewbauer has joined #nixos-dev
matthewbauer has quit [Read error: Connection reset by peer]
matthewbauer has joined #nixos-dev
matthewbauer has quit [Read error: Connection reset by peer]
matthewbauer has joined #nixos-dev
pie_ has joined #nixos-dev
matthewbauer has quit [Read error: Connection reset by peer]
matthewbauer has joined #nixos-dev
matthewbauer has quit [Read error: Connection reset by peer]
matthewbauer has joined #nixos-dev
pie_ has quit [Ping timeout: 256 seconds]
matthewbauer has quit [Ping timeout: 265 seconds]
<Profpatsch> peti: ghc-heap-view does not allow to be build with profiling enabled, and its revdep ghc-datasize doesn’t build with (disableLibraryProfiling ghc-heap-view).
<Profpatsch> Not sure what to do about that.
<Profpatsch> I’m guessing profiling is enabled by default in haskellPackage??
<Profpatsch> *s?
<Profpatsch> Hm, I think disabling for <8.2 and both packages should be okay.
<infinisil> Profpatsch: hnix?
matthewbauer has joined #nixos-dev
matthewbauer has quit [Remote host closed the connection]
<Profpatsch> infinisil: For hnix, yeah.
<Profpatsch> Hm, the problem is that ghc-heap-view seems to be built-in for ghc 8.4 somehow.
<Profpatsch> So it should be okay to build ghc-datasize with profiling on 8.4
matthewbauer has joined #nixos-dev
<Profpatsch> Looking through the datasize source, it doesn’t look like it.
pie_ has joined #nixos-dev
pie_ has quit [Ping timeout: 276 seconds]
pie_ has joined #nixos-dev
matthewbauer has quit [Read error: Connection reset by peer]
matthewbauer has joined #nixos-dev
pie_ has quit [Remote host closed the connection]
Lisanna has quit [Ping timeout: 276 seconds]
matthewbauer has quit [Read error: Connection reset by peer]
matthewbauer has joined #nixos-dev
Lisanna has joined #nixos-dev
pierron_ has joined #nixos-dev
pierron has quit [Ping timeout: 256 seconds]
<Sonarpulse> domenkozar gchristensen: Can matthewbauer get a hydra account?
<Sonarpulse> he's been doing great work in general
<Sonarpulse> but also full disclosure he is working for us at the moment and collaborating with me on https://hydra.nixos.org/jobset/nixpkgs/ericson2314-haskell-updates
<dtz> I definitely am not actually an interested party re:changing this, but just curious: what's the update policy on our "ghcHEAD" package? Noticed it's from 2018-01-xx, is why I'm asking :).
<gchristensen> Sonarpulse: has matthewbauer signed up for an account?
<Sonarpulse> gchristensen: oh can one just do that these days?
<Sonarpulse> dtz: update at will, I believe :)
<gchristensen> Sonarpulse: always has been able to, but it has no privileges
<Sonarpulse> dtz: it's always a funny thing where the person releasing the new GHC forgets to also bump HEAD
<Sonarpulse> gchristensen: oh ok
<Sonarpulse> matthewbauer: ^
<dtz> noooo I'll have to test all the things, too many haskell things
<dtz> probably no fewer than 4 other compilers and entire stages/package sets depend on it
<gchristensen> Sonarpulse: matthewbauer click "sign in with google" or whatever and it'll automatically make an account
<dtz> :P
<dtz> but more seriously I have no reason to do so-- I mean I have no idea what a newer GHC would get anyone lol
<dtz> i mean other than everything would obviously be better in every way! :D
<Sonarpulse> gchristensen: thanks, that allows matthewbauer to kick off evals, which should be good enough for now
<simpson> Hi, does anybody happen to know anything about Z3 bindings? I'm trying to get "z3-solver", the Python package, to be available, and the naïve approach spends many minutes building lots of C++ before failing: https://gist.github.com/MostAwesomeDude/7ec8082100b02de53327e58d03eac17f
<simpson> I was thinking that maybe just grabbing `pkgs.z3` would work, but no.
<simpson> On another prong, I have "python-igraph", which wants to build some FORTRAN code that's been run through f2c and that has some cosmetic problems which the C compiler doesn't like. Debating whether I want to patch the C code or not.