MiniDexed/build.sh

#!/bin/bash

set -e 
set -x

if [ -z "${RPI}" ] ; do
  echo "${RPI} missing, exting"
  exit 1
fi

# Build circle-stdlib library
cd circle-stdlib/
./configure -r ${RPI} --prefix "aarch64-none-elf-"
make -j$(nproc)
cd ..

# Build MiniDexed
cd src
make -j$(nproc)
ls *.img
cd ..