summaryrefslogtreecommitdiff
path: root/config/cc
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/cc
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/cc')
-rw-r--r--config/cc/gmp.in27
-rw-r--r--config/cc/mpfr.in27
2 files changed, 0 insertions, 54 deletions
diff --git a/config/cc/gmp.in b/config/cc/gmp.in
deleted file mode 100644
index 21a8ee4..0000000
--- a/config/cc/gmp.in
+++ /dev/null
@@ -1,27 +0,0 @@
-# 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/cc/mpfr.in b/config/cc/mpfr.in
deleted file mode 100644
index b033a9e..0000000
--- a/config/cc/mpfr.in
+++ /dev/null
@@ -1,27 +0,0 @@
-# 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/