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

circt: fix build for x86_64-darwin on rosetta

Browse Source
This commit is contained in:
Shogo Takata 2024-11-12 16:21:00 +09:00
parent fa72bc2abc
commit 0a7e3b6940
No known key found for this signature in database
GPG Key ID: CDA335451A4BA87C
1 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
pkgs/by-name/ci/circt/package.nix
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;