From d32871dfbad9a97df70d1f7a7734cbd7a05ba7d6 Mon Sep 17 00:00:00 2001
From: probonopd <probonopd@users.noreply.github.com>
Date: Sun, 20 Feb 2022 11:34:44 +0100
Subject: [PATCH] Add build.sh [ci skip]

---
 build.sh | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 build.sh

diff --git a/build.sh b/build.sh
new file mode 100644
index 0000000..b6a7a55
--- /dev/null
+++ b/build.sh
@@ -0,0 +1,21 @@
+#!/bin/bash
+
+set -e 
+set -x
+
+[ -z "${RPI}" ] ; then
+  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 ..