mirror of https://github.com/probonopd/MiniDexed
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
22 lines
297 B
22 lines
297 B
#!/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
|
|
./configure -r ${RPI} --prefix "aarch64-none-elf-"
|
|
make -j$(nproc)
|
|
cd ..
|
|
|
|
# Build MiniDexed
|
|
cd src
|
|
make -j$(nproc)
|
|
ls *.img
|
|
cd ..
|
|
|