diff options
author | Yifei Sun <ysun@hey.com> | 2023-12-03 15:17:48 -0500 |
---|---|---|
committer | Yifei Sun <ysun@hey.com> | 2023-12-06 12:30:03 -0500 |
commit | 3d0affa9c9c6e54759ca65c8f7f59af35877d1e8 (patch) | |
tree | 81ea451614d0c48b2be429a136e5f2d4ca4d471b /pkgs/development/compilers/solc | |
parent | c2273e116f7651f0deda59f9ebd83063a66a62c0 (diff) | |
download | nixlib-3d0affa9c9c6e54759ca65c8f7f59af35877d1e8.tar nixlib-3d0affa9c9c6e54759ca65c8f7f59af35877d1e8.tar.gz nixlib-3d0affa9c9c6e54759ca65c8f7f59af35877d1e8.tar.bz2 nixlib-3d0affa9c9c6e54759ca65c8f7f59af35877d1e8.tar.lz nixlib-3d0affa9c9c6e54759ca65c8f7f59af35877d1e8.tar.xz nixlib-3d0affa9c9c6e54759ca65c8f7f59af35877d1e8.tar.zst nixlib-3d0affa9c9c6e54759ca65c8f7f59af35877d1e8.zip |
python3Packages.z3-solver: rename from z3
Diffstat (limited to 'pkgs/development/compilers/solc')
-rw-r--r-- | pkgs/development/compilers/solc/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/compilers/solc/default.nix b/pkgs/development/compilers/solc/default.nix index 986f6f169e8b..0603706164ae 100644 --- a/pkgs/development/compilers/solc/default.nix +++ b/pkgs/development/compilers/solc/default.nix @@ -86,7 +86,7 @@ let buildInputs = [ boost ] ++ lib.optionals z3Support [ z3 ] ++ lib.optionals cvc4Support [ cvc4 cln gmp ]; - nativeCheckInputs = [ jq ncurses (python3.withPackages (ps: with ps; [ colorama deepdiff devtools docopt docutils requests sphinx tabulate z3 ])) ]; # contextlib2 glob2 textwrap3 traceback2 urllib3 + nativeCheckInputs = [ jq ncurses (python3.withPackages (ps: with ps; [ colorama deepdiff devtools docopt docutils requests sphinx tabulate z3-solver ])) ]; # contextlib2 glob2 textwrap3 traceback2 urllib3 # tests take 60+ minutes to complete, only run as part of passthru tests doCheck = false; |