menu "Toolchain"
choice
	prompt "Toolchain type"
	default BR2_TOOLCHAIN_BUILDROOT if !BR2_avr32
	default BR2_TOOLCHAIN_EXTERNAL_SOURCE if BR2_avr32
	help
	  Select whether to use the toolchain provided by buildroot
	  or an external toolchain.

	  Some vendors provide toolchains in binary form, some in
	  source form.

config BR2_TOOLCHAIN_BUILDROOT
	bool "Buildroot toolchain"
	depends on !BR2_avr32

config BR2_TOOLCHAIN_EXTERNAL
	bool "External binary toolchain"

config BR2_TOOLCHAIN_EXTERNAL_SOURCE
	bool "External source toolchain"
endchoice

config BR2_TOOLCHAIN_SOURCE
	bool
	default y if BR2_TOOLCHAIN_BUILDROOT || BR2_TOOLCHAIN_EXTERNAL_SOURCE
	default n if BR2_TOOLCHAIN_EXTERNAL

source "target/device/Config.in.toolchain"

source "toolchain/Config.in.1"
source "toolchain/external-toolchain/Config.in"

# we want gdb config in the middle of both source and external
# toolchains, but mconf won't let us source the same file twice,
# so put it here instead
source "toolchain/gdb/Config.in"
comment "Common Toolchain Options"

source "toolchain/Config.in.2"
source "toolchain/external-toolchain/Config.in.2"

endmenu