config/kernel/mingw32.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Thu Jul 15 22:34:31 2010 +0200 (2010-07-15)
changeset 2026 a8a4d5c97738
child 2027 38cc05a621f0
permissions -rw-r--r--
configure: fix --mandir

--mandir points to the base dir of the man pages, so
we have to append our man section below given dir.
     1 # mingw32 config options
     2 
     3 config KERNEL_mingw32
     4     select MINGW32
     5     help
     6       Build a toolchain targeting systems running Windows as host
     7 
     8 choice
     9     bool
    10     prompt "Windows api version"
    11 
    12 # Don't remove next line
    13 # CT_INSERT_VERSION_BELOW
    14 config W32API_V_3_14
    15     bool
    16     prompt "3.14"
    17 
    18 config W32API_V_select
    19     bool
    20     prompt "Other version"
    21 
    22 endchoice
    23 
    24 config W32API_VERSION
    25     string
    26     prompt "W32 api version" if W32API_V_select
    27 # Don't remove next line
    28 # CT_INSERT_VERSION_STRING_BELOW
    29     default "3.14" if W32API_V_3_14
    30     help
    31       Enter the version number of the windows api files to use
    32