crosstool-ng: config/companion_libs/gmp.in@7209c64d2318

     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_0_2

    10     bool

    11     prompt "5.0.2"

    13 config GMP_V_5_0_1

    14     bool

    15     prompt "5.0.1"

    17 config GMP_V_4_3_2

    18     bool

    19     prompt "4.3.2"

    21 config GMP_V_4_3_1

    22     bool

    23     prompt "4.3.1"

    25 config GMP_V_4_3_0

    26     bool

    27     prompt "4.3.0"

    29 endchoice

    31 config GMP_VERSION

    32     string

    33 # Don't remove next line

    34 # CT_INSERT_VERSION_STRING_BELOW

    35     default "5.0.2" if GMP_V_5_0_2

    36     default "5.0.1" if GMP_V_5_0_1

    37     default "4.3.2" if GMP_V_4_3_2

    38     default "4.3.1" if GMP_V_4_3_1

    39     default "4.3.0" if GMP_V_4_3_0

author	"Frederic Roussel" <fr.frasc@gmail.com>
	Wed Feb 06 13:11:46 2013 -0800 (2013-02-06)
changeset 3182	7209c64d2318
parent 2957	3e2f2100a76d
child 3207	ec3c3aa99c79
permissions	-rw-r--r--