bartvdrmeulen@2017: # mingw options
bartvdrmeulen@2017: 
yann@2444: ## depends on MINGW32
yann@2444: ##
yann@2444: ## select LIBC_SUPPORT_WIN32THREADS
yann@2444: ##
yann@2444: ## help The de-facto standard for Mingw distributions.
bartvdrmeulen@2017: 
bartvdrmeulen@2017: choice
bartvdrmeulen@2017:     bool
bartvdrmeulen@2017:     prompt "Mingw runtime version"
bartvdrmeulen@2017: 
bartvdrmeulen@2017: # Don't remove next line
bartvdrmeulen@2017: # CT_INSERT_VERSION_BELOW
bartvdrmeulen@2017: config MINGWRT_V_3_18
bartvdrmeulen@2017:     bool
bartvdrmeulen@2017:     prompt "3.18"
bartvdrmeulen@2017: 
bartvdrmeulen@2017: config MINGWRT_V_select
bartvdrmeulen@2017:     bool
bartvdrmeulen@2017:     prompt "Other version"
bartvdrmeulen@2017: 
bartvdrmeulen@2017: endchoice
bartvdrmeulen@2017: 
bartvdrmeulen@2017: config MINGWRT_VERSION
bartvdrmeulen@2017:     string
bartvdrmeulen@2017:     prompt "Mingw runtime version" if MINGWRT_V_select
bartvdrmeulen@2017: # Don't remove next line
bartvdrmeulen@2017: # CT_INSERT_VERSION_STRING_BELOW
bartvdrmeulen@2017:     default "3.18" if MINGWRT_V_3_18
bartvdrmeulen@2017:     help
bartvdrmeulen@2017:       Enter the version number of the mingw runtime files to use
bartvdrmeulen@2017: