From 3620358f1280aaa4890e27fc272dc88e9e32f2cf Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Fri, 25 Aug 2023 13:34:56 +0800
Subject: [PATCH] flake: build efc firmware

---
 flake.nix | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index 713898697..5ea21b24f 100644
--- a/flake.nix
+++ b/flake.nix
@@ -358,6 +358,11 @@
           target = "kc705";
           variant = "nist_clock";
         };
+        artiq-board-efc = makeArtiqBoardPackage {
+          target = "efc";
+          variant = "shuttler";
+          buildCommand = "python -m artiq.gateware.targets.efc";
+        };
         inherit sphinxcontrib-wavedrom latex-artiq-manual;
         artiq-manual-html = pkgs.stdenvNoCC.mkDerivation rec {
           name = "artiq-manual-html-${version}";
@@ -457,7 +462,7 @@
       };
 
       hydraJobs = {
-        inherit (packages.x86_64-linux) artiq artiq-board-kc705-nist_clock openocd-bscanspi;
+        inherit (packages.x86_64-linux) artiq artiq-board-kc705-nist_clock artiq-board-efc openocd-bscanspi;
         gateware-sim = pkgs.stdenvNoCC.mkDerivation {
           name = "gateware-sim";
           buildInputs = [