#!/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 || true ( cd build/circle-newlib/aarch64-none-circle/newlib ; rm ./config.cache ) || true ./configure -r ${RPI} --prefix "aarch64-none-elf-" make -j$(nproc) cd .. # Build MiniDexed cd src make -j$(nproc) ls *.img cd ..