diff options
author | Matt Huszagh <huszaghmatt@gmail.com> | 2019-10-19 13:32:00 -0700 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2019-12-04 14:29:31 -0600 |
commit | 9c7cd63b3dd25639951d6cdd66bc98858186791b (patch) | |
tree | 14a83988f7fd338aa5be01a0ab4387ab6800309e /pkgs/applications/science | |
parent | 785d5c6f79a8ad49eeb184e1fcb65ed5fc62869f (diff) | |
download | nixpkgs-9c7cd63b3dd25639951d6cdd66bc98858186791b.tar nixpkgs-9c7cd63b3dd25639951d6cdd66bc98858186791b.tar.gz nixpkgs-9c7cd63b3dd25639951d6cdd66bc98858186791b.tar.bz2 nixpkgs-9c7cd63b3dd25639951d6cdd66bc98858186791b.tar.lz nixpkgs-9c7cd63b3dd25639951d6cdd66bc98858186791b.tar.xz nixpkgs-9c7cd63b3dd25639951d6cdd66bc98858186791b.tar.zst nixpkgs-9c7cd63b3dd25639951d6cdd66bc98858186791b.zip |
symbiyosys: add yices dependency
Symbioyosys requires at least smt solver backend to work out of the box.
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/symbiyosys/default.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/symbiyosys/default.nix b/pkgs/applications/science/logic/symbiyosys/default.nix index 8e100716c87..ddefcf1b3aa 100644 --- a/pkgs/applications/science/logic/symbiyosys/default.nix +++ b/pkgs/applications/science/logic/symbiyosys/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, yosys, bash, python3 }: +{ stdenv, fetchFromGitHub, yosys, bash, python3, yices }: stdenv.mkDerivation { pname = "symbiyosys"; @@ -13,6 +13,8 @@ stdenv.mkDerivation { buildInputs = [ python3 yosys ]; + propagatedBuildInputs = [ yices ]; + buildPhase = "true"; installPhase = '' mkdir -p $out/bin $out/share/yosys/python3 |