#!/bin/sh

SYS_ROOT="$MICRODOC_INFRASTRUCTURE/toolchains/gcc-9.4.0-aarch64-unknown-linux-musl/aarch64-unknown-linux-musl"
if [ -n "$MICRODOC_INFRASTRUCTURE" ] && [ -d "$SYS_ROOT" ]; then
  exec clang "--sysroot=$SYS_ROOT" "$@"
else
  exec clang "$@"
fi
