#!/usr/bin/env bash

set -e

if [ -z "$OPENOCD_ZYNQ" ]; then
    echo "OPENOCD_ZYNQ environment variable must be set"
    exit 1
fi
if [ -z "$SZL" ]; then
    echo "SZL environment variable must be set"
    exit 1
fi


# variant="firmware"
# variant="gateware"
# variant="jtag"
variant="sd"

nix build .#kasli_soc-demo-$variant -L
nix build .#kasli_soc-master-$variant -L
nix build .#kasli_soc-satellite-$variant -L

# nix build .#zc706-acpki_nist_clock-$variant -L
# nix build .#zc706-acpki_nist_clock_master-$variant -L
# nix build .#zc706-acpki_nist_clock_satellite-$variant -L

# nix build .#zc706-acpki_nist_qc2-$variant -L
# nix build .#zc706-acpki_nist_qc2_master-$variant -L
# nix build .#zc706-acpki_nist_qc2_satellite-$variant -L

# nix build .#zc706-nist_clock-$variant -L
# nix build .#zc706-nist_clock_master-$variant -L
# nix build .#zc706-nist_clock_satellite-$variant -L

# nix build .#zc706-nist_qc2-$variant -L
# nix build .#zc706-nist_qc2_master-$variant -L
# nix build .#zc706-nist_qc2_satellite-$variant -L