external dependency at runtime about haskell.nix HOT 3 OPEN

I can't clearly tell from the documentation how SBV depends on its solver, but it seems that it does not use it as a library, but rather as an executable, and the user just has to provide it at runtime somehow.

This is somewhere where we can't rely on cabal, since cabal has no way of saying "this executable must be present at runtime". So you'll need to manually add z3 wherever you use it. I'm not sure what the cleanest way to do that is, though.

from haskell.nix.

Ah sure, thanks for the help. That's correct, it only requires it as an executable.

I'm struggling to add it in any respect honesly. I'm still getting used to flakes and I'd consider myself a bit of a nix novice. Any method of doing this would be great

from haskell.nix.

I believe you also asked this on Reddit?

from haskell.nix.