bartvdrmeulen@2017: # mingw32 config options
bartvdrmeulen@2017: 
yann@2444: ## depends on EXPERIMENTAL && ( ARCH_x86 && ARCH_32 )
yann@2444: ##
yann@2444: ## select MINGW32
yann@2444: ##
yann@2444: ## help Build a toolchain targeting systems running Windows as host
bartvdrmeulen@2017: 
bartvdrmeulen@2017: choice
bartvdrmeulen@2017:     bool
bartvdrmeulen@2017:     prompt "Windows api version"
bartvdrmeulen@2017: 
bartvdrmeulen@2017: # Don't remove next line
bartvdrmeulen@2017: # CT_INSERT_VERSION_BELOW
bartvdrmeulen@2017: config W32API_V_3_14
bartvdrmeulen@2017:     bool
bartvdrmeulen@2017:     prompt "3.14"
bartvdrmeulen@2017: 
bartvdrmeulen@2017: config W32API_V_select
bartvdrmeulen@2017:     bool
bartvdrmeulen@2017:     prompt "Other version"
bartvdrmeulen@2017: 
bartvdrmeulen@2017: endchoice
bartvdrmeulen@2017: 
bartvdrmeulen@2017: config W32API_VERSION
bartvdrmeulen@2017:     string
bartvdrmeulen@2017:     prompt "W32 api version" if W32API_V_select
bartvdrmeulen@2017: # Don't remove next line
bartvdrmeulen@2017: # CT_INSERT_VERSION_STRING_BELOW
bartvdrmeulen@2017:     default "3.14" if W32API_V_3_14
bartvdrmeulen@2017:     help
bartvdrmeulen@2017:       Enter the version number of the windows api files to use
bartvdrmeulen@2017: