angerman changed the topic of #haskell.nix to: https://input-output-hk.github.io/haskell.nix - alternative haskell infrastructure for nix; logs at https://logs.nix.samueldr.com/haskell.nix
mariatsji has joined #haskell.nix
mariatsji has quit [Ping timeout: 244 seconds]
mariatsji has joined #haskell.nix
mariatsji has quit [Ping timeout: 244 seconds]
mariatsji has joined #haskell.nix
fendor has joined #haskell.nix
<michaelpj> __monty__: if you're feeling a testing urge come over you, what *would* really help is https://github.com/input-output-hk/haskell.nix/issues/518
lally has quit [Ping timeout: 244 seconds]
buggymcbugfix has quit [Ping timeout: 240 seconds]
elvishjerricco has quit [Ping timeout: 244 seconds]
elvishjerricco has joined #haskell.nix
buggymcbugfix has joined #haskell.nix
lally has joined #haskell.nix
codygman has joined #haskell.nix
hexaglow has joined #haskell.nix
<hexaglow> Hi, I'm trying to build a haskell project with haskell.nix. I'm using LiquidHaskell, which requires one of z3, cvc4 or mathsat to be available on the PATH during build. I can't figure out how to specify this, so my build fails when trying to build liquid-ghc-prim-0.6.1 because it can't find the executable it needs. Anyone know how to make this work?
codygman has quit [Ping timeout: 258 seconds]
codygman has joined #haskell.nix
<angerman> hexaglow: they should be build-depends in the cabal file then, no?
<hexaglow> correct me if I'm wrong, but build-depends is for haskell library dependencies, right? z3, cvc4 and mathsat are programs that liquidhaskell expects to be on the PATH so it can launch processes
<hexaglow> building my project with just cabal or stack works fine because I have z3 installed on my system, but of course nix builds in an isolated environment where it's not available
<angerman> hexaglow: sorry , build-tool-depends. You can also export them to the path during preBuild
<hexaglow> I've tried it with preBuild but it didn't seem to help, although based on what preBuild does it seems like it should. I'm going to do some more digging on this https://www.irccloud.com/pastebin/D8JQPpYx/
mariatsji has quit [Remote host closed the connection]
mariatsji has joined #haskell.nix
codygman has quit [Ping timeout: 258 seconds]
codygman has joined #haskell.nix
codygman has quit [Read error: Connection reset by peer]
codygman has joined #haskell.nix
__monty__ has joined #haskell.nix
mariatsji has quit [Remote host closed the connection]
tchouri has joined #haskell.nix
hekkaidekapus has quit [Ping timeout: 240 seconds]
tchouri is now known as hekkaidekapus
tchouri has joined #haskell.nix
hekkaidekapus has quit [Ping timeout: 240 seconds]
fendor has quit [Remote host closed the connection]
fendor has joined #haskell.nix
mariatsji has joined #haskell.nix
mariatsji has quit [Ping timeout: 244 seconds]
tchouri is now known as hekkaidekapus
jbetz has joined #haskell.nix
__monty__ has quit [Quit: leaving]
<tnks> Has anyone taken a haskell.nix project and used it to create a TAGS file of transitive dependencies pointing to source in Nix store?
<tnks> I wonder if this helps with that... https://hackage.haskell.org/package/ghc-tags-plugin
fendor has quit [Read error: Connection reset by peer]
<tnks> Actually, I've never even thought about compiler plugins with Nix... not sure what the state of the art is.
codygman has quit [Ping timeout: 246 seconds]
codygman has joined #haskell.nix
mariatsji has joined #haskell.nix
mariatsji has quit [Ping timeout: 240 seconds]