#!/bin/sh

SYS_ROOT="$MICRODOC_INFRASTRUCTURE/toolchains/x86_64-unknown-freebsd/sysroot"
if [ -n "$MICRODOC_INFRASTRUCTURE" ] && [ -d "$SYS_ROOT" ]; then
  exec clang "--sysroot=$SYS_ROOT" "$@"
else
  exec clang "$@"
fi
