config/libc/mingw.in
author Titus von Boxberg <titus@v9g.de>
Mon Aug 22 09:40:31 2011 +0200 (2011-08-22)
branch1.12
changeset 2637 97cc0c987a1a
parent 2017 f637b6c2162b
child 3112 6cb56b3f2d34
permissions -rw-r--r--
configure: require libtoolize, create wrapper to it

libtoolize must be checked_for and there needs to be a wrapper
that points to GNU libtoolize since that may be installed
as glibtoolize.
This fixes a problem with building Cloog/PPL that was

Reported-by: "Pierrick Brossin" <pierrick@bs-network.net>
Signed-off-by: "Titus von Boxberg" <titus@v9g.de>
(transplanted from c7c9e98d36d8a6a49fcd5f3836d5797bb965eba7)
bartvdrmeulen@2017
     1
# mingw options
bartvdrmeulen@2017
     2
yann@2444
     3
## depends on MINGW32
yann@2444
     4
##
yann@2444
     5
## select LIBC_SUPPORT_WIN32THREADS
yann@2444
     6
##
yann@2444
     7
## help The de-facto standard for Mingw distributions.
bartvdrmeulen@2017
     8
bartvdrmeulen@2017
     9
choice
bartvdrmeulen@2017
    10
    bool
bartvdrmeulen@2017
    11
    prompt "Mingw runtime version"
bartvdrmeulen@2017
    12
bartvdrmeulen@2017
    13
# Don't remove next line
bartvdrmeulen@2017
    14
# CT_INSERT_VERSION_BELOW
bartvdrmeulen@2017
    15
config MINGWRT_V_3_18
bartvdrmeulen@2017
    16
    bool
bartvdrmeulen@2017
    17
    prompt "3.18"
bartvdrmeulen@2017
    18
bartvdrmeulen@2017
    19
config MINGWRT_V_select
bartvdrmeulen@2017
    20
    bool
bartvdrmeulen@2017
    21
    prompt "Other version"
bartvdrmeulen@2017
    22
bartvdrmeulen@2017
    23
endchoice
bartvdrmeulen@2017
    24
bartvdrmeulen@2017
    25
config MINGWRT_VERSION
bartvdrmeulen@2017
    26
    string
bartvdrmeulen@2017
    27
    prompt "Mingw runtime version" if MINGWRT_V_select
bartvdrmeulen@2017
    28
# Don't remove next line
bartvdrmeulen@2017
    29
# CT_INSERT_VERSION_STRING_BELOW
bartvdrmeulen@2017
    30
    default "3.18" if MINGWRT_V_3_18
bartvdrmeulen@2017
    31
    help
bartvdrmeulen@2017
    32
      Enter the version number of the mingw runtime files to use
bartvdrmeulen@2017
    33