config/kernel/mingw32.in
author Anthony Foiani <anthony.foiani@gmail.com>
Thu May 19 23:06:16 2011 +0200 (2011-05-19)
changeset 2461 ec30b191f0e3
parent 2106 750676a1d8ea
permissions -rw-r--r--
complibs/ppl: build only C and C++ interfaces for PPL

By default, PPL wants to build interfaces for any of a variety of
langauges it finds on the local host (python, java, possibly perl, also
more esoteric languages such as ocaml and prolog).

These extra interfaces can double the compile time for the library. For
single-process builds, I found a savings of more than 40%:

default / j1: 716s total, 143.2s avg, 0.52s stdev
just_c / j1: 406s total, 81.2s avg, 0.33s stdev
just_c_cpp / j1: 413s total, 82.6s avg, 0.22s stdev

And for multi-process builds, it approached 50%:

default / j4: 625s total, 125.0s avg, 0.57s stdev
just_c / j4: 338s total, 67.6s avg, 1.25s stdev
just_c_cpp / j4: 327s total, 65.4s avg, 0.36s stdev

Since the PPL we build within ct-ng is only used by GCC, we only need to
build the C and C++ interfaces.

Signed-Off-By: Anthony Foiani <anthony.foiani@gmail.com>
     1 # mingw32 config options
     2 
     3 ## depends on EXPERIMENTAL && ( ARCH_x86 && ARCH_32 )
     4 ##
     5 ## select MINGW32
     6 ##
     7 ## help Build a toolchain targeting systems running Windows as host
     8 
     9 choice
    10     bool
    11     prompt "Windows api version"
    12 
    13 # Don't remove next line
    14 # CT_INSERT_VERSION_BELOW
    15 config W32API_V_3_14
    16     bool
    17     prompt "3.14"
    18 
    19 config W32API_V_select
    20     bool
    21     prompt "Other version"
    22 
    23 endchoice
    24 
    25 config W32API_VERSION
    26     string
    27     prompt "W32 api version" if W32API_V_select
    28 # Don't remove next line
    29 # CT_INSERT_VERSION_STRING_BELOW
    30     default "3.14" if W32API_V_3_14
    31     help
    32       Enter the version number of the windows api files to use
    33