flake: expose build, allow selection of output

pull/193/head
mwojcik 2022-05-26 11:51:34 +08:00 committed by Gitea
parent fa1f300067
commit 01339c9e78
1 changed files with 24 additions and 12 deletions

View File

@ -122,7 +122,8 @@
"nist_clock_satellite" "nist_qc2_satellite" "acpki_nist_clock_satellite" "acpki_nist_qc2_satellite"
"nist_clock_satellite_100mhz" "nist_qc2_satellite_100mhz" "acpki_nist_clock_satellite_100mhz" "acpki_nist_qc2_satellite_100mhz"
];
build = { target, variant, json ? null }: let
build = { target, variant, json ? null, output ? null }: let
# output - if null will build everything (fw, gw, jtag, sd) or can be specified to build only one
szl = zynqpkgs."${target}-szl";
fsbl = zynqpkgs."${target}-fsbl";
fwtype = if builtins.elem variant sat_variants then "satman" else "runtime";
@ -235,17 +236,26 @@
mkbootimage boot.bif $out/boot.bin
echo file binary-dist $out/boot.bin >> $out/nix-support/hydra-build-products
'';
in {
in (
if output == null || output == "firmware" then {
"${target}-${variant}-firmware" = firmware;
} else {}
) // (
if output == null || output == "gateware" then {
"${target}-${variant}-gateware" = gateware;
} else {}
) // (
if output == null || output == "jtag" then {
"${target}-${variant}-jtag" = jtag;
} else {}
) // (
if output == null || output == "sd" then {
"${target}-${variant}-sd" = sd;
} // (
if builtins.elem target fsblTargets
then {
} else {}
) // (
if builtins.elem target fsblTargets && (output == null || output == "fsbl-sd") then {
"${target}-${variant}-fsbl-sd" = fsbl-sd;
}
else {}
} else {}
);
gateware-sim = pkgs.stdenv.mkDerivation {
@ -374,5 +384,7 @@
SZL = "${zynqpkgs.szl}";
};
makeArtiqZynqPackage = build;
};
}