20 lines
1000 B
Bash
Executable File
20 lines
1000 B
Bash
Executable File
#!/usr/bin/env bash
|
|
source "$(dirname -- "${BASH_SOURCE[0]}")/../../tools/lib.sh"
|
|
cd "$FDS_ROOT"
|
|
use_xbps
|
|
need python3
|
|
[[ -f out/manifests/fds-tools.sha256 ]] || die 'Run make tooling first'
|
|
sha256sum -c out/manifests/fds-tools.sha256 out/manifests/fds-tools-inputs.sha256
|
|
cargo test --locked --offline --target x86_64-unknown-linux-gnu \
|
|
-p fds-common -p fds-cli -p fds-stage0 -p fds-boottrace -p fds-cartridged -p fds-burn -p fds-release
|
|
for binary in fds fds-stage0 fds-boottrace fds-cartridged fds-profile fds-burn fds-inspect fds-eject fds-power fds-release; do
|
|
tools/verify-elf "out/$binary" aarch64 static
|
|
# ldd is supplemental only; the ELF checker establishes actual linkage.
|
|
ldd "out/$binary" 2>&1 || true
|
|
done
|
|
if ! xbps-query -r "$FDS_VOID/masterdir-x86_64" qemu-user-aarch64 >/dev/null 2>&1; then
|
|
tools/in-void xbps-install -y qemu-user-aarch64
|
|
fi
|
|
python3 tests/integration/m3-runtime.py
|
|
printf 'PASS: M3 shared contracts, static ARM tools and diagnostic execution\n'
|