#!/bin/sh
# Compile std and a staged kernel fixture from the repository root.
# Arguments: emulator path, fixture directory.
set -eu
emulator=$1
work=$2
set -- -pkg std
while IFS= read -r source; do set -- "$@" -mod "$source"; done < std.lib
set -- "$@" -pkg kernel -mod "$work/kernel.rad"
for source in "$work"/kernel/*.rad; do
    case "$source" in */tests.rad) continue ;; esac
    set -- "$@" -mod "$source"
done
"$emulator" -memory-size=385024 -data-size=348160 -stack-size=1024 \
    -run bin/radiance.rv64.dev "$@" -entry kernel -ril "$work"