# Compute AVR32-specific values
CT_DoArchTupleValues(){# The architecture part of the tuple:CT_TARGET_ARCH="${CT_ARCH}"# gcc ./configure flagsCT_ARCH_WITH_ARCH=CT_ARCH_WITH_ABI=CT_ARCH_WITH_CPU=CT_ARCH_WITH_TUNE=CT_ARCH_WITH_FPU=CT_ARCH_WITH_FLOAT=CT_TARGET_SYS=none
}