Coldcard MK4 v5.1.2 and MK3 v4.1.8 reproducible build

gistfile1.txt

# LearnToBuild
# Using a fresh Debian 11 x64 droplet from Digital Ocean
# Build requires to things 1) docker and 2) make

# Install docker
# https://docs.docker.com/engine/install/debian/
sudo apt-get update && sudo apt-get install -y \
    apt-transport-https \
    ca-certificates \
    curl \
    gnupg \
    lsb-release

curl -fsSL https://download.docker.com/linux/debian/gpg | sudo gpg --dearmor -o /usr/share/keyrings/docker-archive-keyring.gpg

echo \
  "deb [arch=amd64 signed-by=/usr/share/keyrings/docker-archive-keyring.gpg] https://download.docker.com/linux/debian \
  $(lsb_release -cs) stable" | sudo tee /etc/apt/sources.list.d/docker.list > /dev/null

sudo apt-get update && sudo apt-get install -y docker-ce docker-ce-cli containerd.io 

# Install make
apt install -y make

# Get the code from GitHub
git clone https://github.com/Coldcard/firmware.git

cd firmware/stm32

# This is a git tag for MK4
git checkout 2023-04-07T1330-v5.1.2

make repro

# This is a git tag for MK3
git checkout 2023-06-19T1627-v4.1.8

make repro