Commit 0f7d6ee2 authored by Shogo Takata's avatar Shogo Takata Committed by Jiuyang Liu
Browse files

circt: add z3 to buildInputs

parent 6dcbb993

pkgs/development/compilers/circt/circt-llvm.nix

+1 −1
Original line number Diff line number Diff line
@@ -23,7 +23,7 @@ 
    "-DLLVM_BUILD_EXAMPLES=OFF"

    "-DLLVM_OPTIMIZED_TABLEGEN=ON"

    "-DLLVM_ENABLE_PROJECTS=mlir"

    "-DLLVM_TARGETS_TO_BUILD="

    "-DLLVM_TARGETS_TO_BUILD=Native"



    # This option is needed to install llvm-config

    "-DLLVM_INSTALL_UTILS=ON"

pkgs/development/compilers/circt/default.nix

+2 −1
Original line number Diff line number Diff line
@@ -7,6 +7,7 @@ 
, fetchFromGitHub

, ninja

, lit

, z3

, gitUpdater

, callPackage

}:
@@ -28,7 +29,7 @@ stdenv.mkDerivation rec { 


  requiredSystemFeatures = [ "big-parallel" ];



  nativeBuildInputs = [ cmake ninja git pythonEnv ];

  nativeBuildInputs = [ cmake ninja git pythonEnv z3 ];

  buildInputs = [ circt-llvm ];



  cmakeFlags = [