if has devenv; then
  eval "$(devenv direnvrc)"
  use devenv
else
  echo "devenv not found; using system toolchain (see docs/DEVELOPMENT.md)"
fi
