#!/bin/bash
set -e
set -x
if [ -z "${RPI}" ] ; then
echo "${RPI} missing, exting"
exit 1
fi
# Build circle-stdlib library
cd circle-stdlib/
make clean
./configure -r ${RPI} --prefix "aarch64-none-elf-"
make -j$(nproc)
cd ..
# Build MiniDexed
cd src
ls *.img