JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

symbiyosys: add yices dependency

Browse Source 
Symbioyosys requires at least smt solver backend
to work out of the box.
This commit is contained in:
Matt Huszagh 2019-10-19 13:32:00 -07:00 committed by Austin Seipp
parent 785d5c6f79
commit 9c7cd63b3d
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/applications/science/logic/symbiyosys/default.nix
View File

@ -1,4 +1,4 @@
{ stdenv, fetchFromGitHub, yosys, bash, python3 }: { stdenv, fetchFromGitHub, yosys, bash, python3, yices }:
stdenv.mkDerivation { stdenv.mkDerivation {
pname = "symbiyosys"; pname = "symbiyosys";
@ -13,6 +13,8 @@ stdenv.mkDerivation {
buildInputs = [ python3 yosys ]; buildInputs = [ python3 yosys ];
propagatedBuildInputs = [ yices ];
buildPhase = "true"; buildPhase = "true";
installPhase = '' installPhase = ''
mkdir -p $out/bin $out/share/yosys/python3 mkdir -p $out/bin $out/share/yosys/python3