crosstool-ng: config/companion_libs/gmp.in@9321d9d7af9b

     1 # GMP options

     3 choice

     4     bool

     5     prompt "GMP version"

     6 # Don't remove next line

     7 # CT_INSERT_VERSION_BELOW

     9 config GMP_V_5_1_3

    10     bool

    11     prompt "5.1.3"

    13 config GMP_V_5_1_1

    14     bool

    15     prompt "5.1.1"

    17 config GMP_V_5_0_2

    18     bool

    19     prompt "5.0.2"

    21 config GMP_V_5_0_1

    22     bool

    23     prompt "5.0.1"

    25 config GMP_V_4_3_2

    26     bool

    27     prompt "4.3.2"

    29 config GMP_V_4_3_1

    30     bool

    31     prompt "4.3.1"

    33 config GMP_V_4_3_0

    34     bool

    35     prompt "4.3.0"

    37 endchoice

    39 config GMP_VERSION

    40     string

    41 # Don't remove next line

    42 # CT_INSERT_VERSION_STRING_BELOW

    43     default "5.1.3" if GMP_V_5_1_3

    44     default "5.1.1" if GMP_V_5_1_1

    45     default "5.0.2" if GMP_V_5_0_2

    46     default "5.0.1" if GMP_V_5_0_1

    47     default "4.3.2" if GMP_V_4_3_2

    48     default "4.3.1" if GMP_V_4_3_1

    49     default "4.3.0" if GMP_V_4_3_0

author	Ray Donnelly <mingw.android@gmail.com>
	Thu Feb 20 18:23:08 2014 +0000 (2014-02-20)
changeset 3292	9321d9d7af9b
parent 3207	ec3c3aa99c79
permissions	-rw-r--r--