circt: fix build for x86_64-darwin on rosetta (#355368)

This commit is contained in:
Weijia Wang 2024-11-13 10:28:20 +01:00 committed by GitHub
commit 1e21561aac
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -67,12 +67,14 @@ stdenv.mkDerivation rec {
# Disable some tests on x86_64-darwin
++ lib.optionals (stdenv.hostPlatform.system == "x86_64-darwin") [
# These test seem to pass on hydra (rosetta) but not on x86_64-darwin machines
"CIRCT :: Target/ExportSMTLIB/attributes.mlir"
"CIRCT :: Target/ExportSMTLIB/basic.mlir"
"CIRCT :: circt-bmc/comb-errors.mlir"
"CIRCT :: circt-bmc/seq-errors.mlir"
# This test was having issues with rosetta
"CIRCT :: Dialect/SMT/basic.mlir"
"CIRCT :: Target/ExportSMTLIB/.*\.mlir"
"CIRCT :: circt-bmc/.*\.mlir"
# These tests were having issues on rosetta
"CIRCT :: Dialect/.*/Reduction/.*\.mlir"
"CIRCT :: Dialect/SMT/.*\.mlir"
"CIRCT :: circt-as-dis/.*\.mlir"
"CIRCT :: circt-reduce/.*\.mlir"
"CIRCT :: circt-test/basic.mlir"
];
in
if lit-filters != [ ] then lib.strings.concatStringsSep "|" lit-filters else null;