summaryrefslogtreecommitdiff
path: root/config/gmp_mpfr
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2008-06-30 11:58:58 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2008-06-30 11:58:58 (GMT)
commit15483af16b822680b39053302a78c4c1b6f4016f (patch)
tree417ef6503a77c245a0247570b9e44ee24b87df28 /config/gmp_mpfr
parenta865cf8aeb4c17cc07a6e8de5f51a2f00a1ae61f (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.in27
-rw-r--r--config/gmp_mpfr/mpfr.in27
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/