case "$machine" in
aarch64*)
	base_machine=aarch64
	if $CC $CFLAGS $CPPFLAGS -E -dM -xc /dev/null | grep -q __CHERI_PURE_CAPABILITY__
	then
		machine=aarch64/morello
	else
		machine=aarch64/lp64
	fi
	;;
esac
