mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-05 13:51:24 +00:00
Code Activity

nix: brokey for tomík

Browse source
This commit is contained in:
Emil J. Tywoniak 2024-06-17 10:53:41 +02:00
parent fbdfff168b
commit cb8b923f38
1 changed files with 4 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

7
flake.nix
View file

@ -18,7 +18,7 @@
yosys = pkgs.llvmPackages.libcxxStdenv.mkDerivation { yosys = pkgs.llvmPackages.libcxxStdenv.mkDerivation {
name = "yosys"; name = "yosys";
src = ./. ; src = ./. ;
buildInputs = with pkgs; [ bison flex libffi tcl readline python3 llvmPackages.libcxxClang zlib git pkg-configUpstream tracy ]; buildInputs = with pkgs; [ bison flex libffi tcl readline python3 zlib git pkg-configUpstream tracy ];
checkInputs = with pkgs; [ gtest ]; checkInputs = with pkgs; [ gtest ];
propagatedBuildInputs = [ abc-verifier ]; propagatedBuildInputs = [ abc-verifier ];
preConfigure = "make config-clang"; preConfigure = "make config-clang";
@ -41,8 +41,9 @@
in { in {
packages.default = yosys; packages.default = yosys;
defaultPackage = yosys; defaultPackage = yosys;
devShell = pkgs.mkShell { devShell = pkgs.mkShell.override {stdenv = pkgs.llvmPackages.libcxxStdenv; } {
buildInputs = with pkgs; [ clang bison flex libffi tcl readline python3 llvmPackages.libcxxClang zlib git gtest abc-verifier tracy ]; buildInputs = with pkgs; [ bison flex libffi tcl readline python3 zlib git pkg-configUpstream tracy ];
propagatedBuildInputs = [ abc-verifier ];
}; };
} }
); );