From df6aeb99f6da58dc76deb30f92a32a2bcf1d6589 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Mon, 18 Oct 2021 11:09:10 +0800
Subject: [PATCH] flake: check gateware timing

---
 flake.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index e44d4af74..5d106f666 100644
--- 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