diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-06-30 11:58:58 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-06-30 11:58:58 (GMT) |
commit | 15483af16b822680b39053302a78c4c1b6f4016f (patch) | |
tree | 417ef6503a77c245a0247570b9e44ee24b87df28 /config/gmp_mpfr | |
parent | a865cf8aeb4c17cc07a6e8de5f51a2f00a1ae61f (diff) |
Completely move GMP and MPFR files out of the compiler way into their own directory.
/trunk/config/gmp_mpfr.in | 4 2 2 0 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Diffstat (limited to 'config/gmp_mpfr')
-rw-r--r-- | config/gmp_mpfr/gmp.in | 27 | ||||
-rw-r--r-- | config/gmp_mpfr/mpfr.in | 27 |
2 files changed, 54 insertions, 0 deletions
diff --git a/config/gmp_mpfr/gmp.in b/config/gmp_mpfr/gmp.in new file mode 100644 index 0000000..21a8ee4 --- /dev/null +++ b/config/gmp_mpfr/gmp.in @@ -0,0 +1,27 @@ +# GMP options + +choice + bool + prompt "GMP version" + +config GMP_V_4_2_2 + bool + prompt "4.2.2" + +# CT_INSERT_VERSION_ABOVE +# Don't remove above line! +endchoice + +config GMP_VERSION + string + default "4.2.2" if GMP_V_4_2_2 +# CT_INSERT_VERSION_STRING_ABOVE +# Don't remove above line! + +config GMP_CHECK + bool + prompt "Check GMP" + default y + help + It is highly recommended that 'make check' is run against the newly built + GMP library. See http://gmplib.org/ diff --git a/config/gmp_mpfr/mpfr.in b/config/gmp_mpfr/mpfr.in new file mode 100644 index 0000000..b033a9e --- /dev/null +++ b/config/gmp_mpfr/mpfr.in @@ -0,0 +1,27 @@ +# GMP options + +choice + bool + prompt "MPFR version" + +config MPFR_V_2_3_1 + bool + prompt "2.3.1" + +# CT_INSERT_VERSION_ABOVE +# Don't remove above line! +endchoice + +config MPFR_VERSION + string + default "2.3.1" if MPFR_V_2_3_1 +# CT_INSERT_VERSION_STRING_ABOVE +# Don't remove above line! + +config MPFR_CHECK + bool + prompt "Check MPFR" + default y + help + It is highly recommended that 'make check' is run against the newly built + MPFR library. See http://gmplib.org/ |