Closed icetan closed 4 years ago
@nanexcool here is an example of how to pin a dependency.
This is not an optimal solution though, because we can't override the version of z3 when nix-shell is invoked.
z3
nix-shell
The best solution would be to refactor shell.nix so that we can inject and override any dependency instead.
shell.nix
@nanexcool here is an example of how to pin a dependency.
This is not an optimal solution though, because we can't override the version of
z3whennix-shellis invoked.The best solution would be to refactor
shell.nixso that we can inject and override any dependency instead.