config/libc/mingw.in
author Anthony Foiani <anthony.foiani@gmail.com>
Thu May 19 23:09:43 2011 +0200 (2011-05-19)
changeset 2462 139b85d70b62
parent 2017 f637b6c2162b
child 3112 6cb56b3f2d34
permissions -rw-r--r--
complibs/ppl: fix 0.11-0.11.2 to compile with --disable-shared

PPL 0.11 (through 0.11.2) had a small bug where it still tried to build
and test its Java interface even when shared libraries are disabled.
Since that's exactly what ct-ng does, it explodes.

This is the patch from the PPL authors (see final link below).

More information can be found in these messages/threads:

Anthony's initial report and analysis with Yann:
http://www.cygwin.com/ml/crossgcc/2011-05/msg00046.html

Ron Flory hit the same problem:
http://www.cygwin.com/ml/crossgcc/2011-05/msg00054.html

Anthony's report to the ppl-devel list:
http://www.cs.unipr.it/pipermail/ppl-devel/2011-May/017450.html

Roberto's reply with a link to the fix in the PPL git repo:
http://www.cs.unipr.it/pipermail/ppl-devel/2011-May/017455.html

Signed-Off-By: Anthony Foiani <anthony.foiani@gmail.com>
     1 # mingw options
     2 
     3 ## depends on MINGW32
     4 ##
     5 ## select LIBC_SUPPORT_WIN32THREADS
     6 ##
     7 ## help The de-facto standard for Mingw distributions.
     8 
     9 choice
    10     bool
    11     prompt "Mingw runtime version"
    12 
    13 # Don't remove next line
    14 # CT_INSERT_VERSION_BELOW
    15 config MINGWRT_V_3_18
    16     bool
    17     prompt "3.18"
    18 
    19 config MINGWRT_V_select
    20     bool
    21     prompt "Other version"
    22 
    23 endchoice
    24 
    25 config MINGWRT_VERSION
    26     string
    27     prompt "Mingw runtime version" if MINGWRT_V_select
    28 # Don't remove next line
    29 # CT_INSERT_VERSION_STRING_BELOW
    30     default "3.18" if MINGWRT_V_3_18
    31     help
    32       Enter the version number of the mingw runtime files to use
    33