flake: check gateware timing

2021-10-18 11:09:10 +08:00 · 2021-10-18 11:09:10 +08:00 · df6aeb99f6
parent bb61f2dae6
commit df6aeb99f6
1 changed files with 3 additions and 1 deletions
--- a/flake.nix
+++ b/flake.nix
@ -260,7 +260,9 @@
            export TARGET_AR=llvm-ar
            ${buildCommand}
            '';
-          checkPhase = ''
+          doCheck = true;
+          checkPhase =
+            ''
            # Search for PCREs in the Vivado output to check for errors
            check_log() {
              grep -Pe "$1" artiq_${target}/${variant}/gateware/vivado.log && exit 1 || true