Type Cleanup & Rendering Fixes

package/scripts/build_pico_firmware.sh

@@ -1,8 +1,8 @@
 #!/usr/bin/env bash
 set -euo pipefail
 
-if [ "$#" -ne 7 ]; then
-  echo "usage: build_pico_firmware.sh BUILD_DIR OUTPUT_UF2 SDK_VERSION WIFI_SSID WIFI_PASSPHRASE ZERO_HOST ZERO_PORT" >&2
+if [ "$#" -lt 7 ] || [ "$#" -gt 8 ]; then
+  echo "usage: build_pico_firmware.sh BUILD_DIR OUTPUT_UF2 SDK_VERSION WIFI_SSID WIFI_PASSPHRASE ZERO_HOST ZERO_PORT [MODULUS_INCLUDE_DIR]" >&2
   exit 2
 fi
 
@@ -14,6 +14,7 @@ wifi_ssid=$4
 wifi_passphrase=$5
 zero_host=$6
 zero_port=$7
+modulus_include_dir=${8:-}
 
 pico_sdk_path=${VAMP_PICO_SDK_PATH:-${PICO_SDK_PATH:-}}
 sdk_args=(
@@ -27,6 +28,13 @@ if [ -n "$pico_sdk_path" ]; then
     -DPICO_SDK_FETCH_FROM_GIT=OFF
   )
 fi
+modulus_args=()
+if [ -n "$modulus_include_dir" ]; then
+  modulus_include_dir=$(cd "$modulus_include_dir" && pwd)
+  modulus_args=(
+    "-DVAMP_MODULUS_INCLUDE_DIR=${modulus_include_dir}"
+  )
+fi
 
 mkdir -p "$(dirname "$output_uf2")"
 
@@ -58,6 +66,7 @@ cmake \
   -DPICO_BOARD=pico2_w \
   -DPICO_GCC_TRIPLE=arm-none-eabi \
   "${sdk_args[@]}" \
+  "${modulus_args[@]}" \
   "-DVAMP_PICO_WIFI_SSID=${wifi_ssid}" \
   "-DVAMP_PICO_WIFI_PASSPHRASE=${wifi_passphrase}" \
   "-DVAMP_ZERO_HOST=${zero_host}" \