···3838 "-DCIRCT_LLHD_SIM_ENABLED=OFF"
3939 ];
40404141+ # There are some tests depending on `clang-tools` to work. They are activated only when detected
4242+ # `clang-tidy` in PATH, However, we cannot simply put `clang-tools` in checkInputs to make these
4343+ # tests work. Because
4444+ #
4545+ # 1. The absolute paths of binaries used in tests are resolved in configure phase.
4646+ # 2. When stdenv = clangStdenv, the `clang-tidy` binary appears in PATH via `clang-unwrapped`,
4747+ # which is always placed before `${clang-tools}/bin` in PATH. `clang-tidy` provided in
4848+ # `clang-unwrapped` cause tests failing because it is not wrapped to resolve header search paths.
4949+ # https://github.com/NixOS/nixpkgs/issues/214945 discusses this issue.
5050+ #
5151+ # As a temporary fix, we disabled these tests when using clang stdenv
5252+ LIT_FILTER_OUT = lib.optionalString stdenv.cc.isClang "CIRCT :: Target/ExportSystemC/.*\.mlir";
5353+4154 preConfigure = ''
4255 substituteInPlace test/circt-reduce/test/annotation-remover.mlir --replace "/usr/bin/env" "${coreutils}/bin/env"
4356 '';