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>
bartvdrmeulen@2017
     1
# mingw32 config options
bartvdrmeulen@2017
     2
yann@2444
     3
## depends on EXPERIMENTAL && ( ARCH_x86 && ARCH_32 )
yann@2444
     4
##
yann@2444
     5
## select MINGW32
yann@2444
     6
##
yann@2444
     7
## help Build a toolchain targeting systems running Windows as host
bartvdrmeulen@2017
     8
bartvdrmeulen@2017
     9
choice
bartvdrmeulen@2017
    10
    bool
bartvdrmeulen@2017
    11
    prompt "Windows api version"
bartvdrmeulen@2017
    12
bartvdrmeulen@2017
    13
# Don't remove next line
bartvdrmeulen@2017
    14
# CT_INSERT_VERSION_BELOW
bartvdrmeulen@2017
    15
config W32API_V_3_14
bartvdrmeulen@2017
    16
    bool
bartvdrmeulen@2017
    17
    prompt "3.14"
bartvdrmeulen@2017
    18
bartvdrmeulen@2017
    19
config W32API_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 W32API_VERSION
bartvdrmeulen@2017
    26
    string
bartvdrmeulen@2017
    27
    prompt "W32 api version" if W32API_V_select
bartvdrmeulen@2017
    28
# Don't remove next line
bartvdrmeulen@2017
    29
# CT_INSERT_VERSION_STRING_BELOW
bartvdrmeulen@2017
    30
    default "3.14" if W32API_V_3_14
bartvdrmeulen@2017
    31
    help
bartvdrmeulen@2017
    32
      Enter the version number of the windows api files to use
bartvdrmeulen@2017
    33