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