flake: build efc firmware

This commit is contained in:
Sebastien Bourdeauducq 2023-08-25 13:34:56 +08:00
parent 72b0a17542
commit 3620358f12

View File

@ -358,6 +358,11 @@
target = "kc705"; target = "kc705";
variant = "nist_clock"; variant = "nist_clock";
}; };
artiq-board-efc = makeArtiqBoardPackage {
target = "efc";
variant = "shuttler";
buildCommand = "python -m artiq.gateware.targets.efc";
};
inherit sphinxcontrib-wavedrom latex-artiq-manual; inherit sphinxcontrib-wavedrom latex-artiq-manual;
artiq-manual-html = pkgs.stdenvNoCC.mkDerivation rec { artiq-manual-html = pkgs.stdenvNoCC.mkDerivation rec {
name = "artiq-manual-html-${version}"; name = "artiq-manual-html-${version}";
@ -457,7 +462,7 @@
}; };
hydraJobs = { 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 { gateware-sim = pkgs.stdenvNoCC.mkDerivation {
name = "gateware-sim"; name = "gateware-sim";
buildInputs = [ buildInputs = [