diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-06-17 10:32:01 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-06-17 10:32:01 (GMT) |
commit | f7535c2f62b1e0eb45ae222575d691a104b63d7b (patch) | |
tree | 1e3b3bf02257769cbd7232dfba53d073c83232f6 /config/companion_libs | |
parent | 221701baf79454469f11789c9046fac5ca1f90c2 (diff) | |
parent | 302dd084c2e782ea5fdbde1db9f1b2bcda5ac83f (diff) |
Merge the gcc-4.4 support.
Diffstat (limited to 'config/companion_libs')
-rw-r--r-- | config/companion_libs/cloog.in | 19 | ||||
-rw-r--r-- | config/companion_libs/gmp.in | 8 | ||||
-rw-r--r-- | config/companion_libs/mpc.in | 19 | ||||
-rw-r--r-- | config/companion_libs/mpfr.in | 8 | ||||
-rw-r--r-- | config/companion_libs/ppl.in | 14 |
5 files changed, 38 insertions, 30 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in new file mode 100644 index 0000000..99779c9 --- /dev/null +++ b/config/companion_libs/cloog.in @@ -0,0 +1,19 @@ +# CLooG options + +choice + bool + prompt "CLooG/ppl version" + +config CLOOG_V_0_15_3 + bool + prompt "0.15.3" + +# CT_INSERT_VERSION_ABOVE +# Don't remove above line! +endchoice + +config CLOOG_VERSION + string + default "0.15.3" if CLOOG_V_0_15_3 +# CT_INSERT_VERSION_STRING_ABOVE +# Don't remove above line! diff --git a/config/companion_libs/gmp.in b/config/companion_libs/gmp.in index 0ac2b2c..c4fc246 100644 --- a/config/companion_libs/gmp.in +++ b/config/companion_libs/gmp.in @@ -22,11 +22,3 @@ config GMP_VERSION default "4.2.4" if GMP_V_4_2_4 # 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/companion_libs/mpc.in b/config/companion_libs/mpc.in new file mode 100644 index 0000000..0aa1369 --- /dev/null +++ b/config/companion_libs/mpc.in @@ -0,0 +1,19 @@ +# MPC options + +choice + bool + prompt "MPC version" + +config MPC_V_0_6 + bool + prompt "0.6" + +# CT_INSERT_VERSION_ABOVE +# Don't remove above line! +endchoice + +config MPC_VERSION + string + default "0.6" if MPC_V_0_6 +# CT_INSERT_VERSION_STRING_ABOVE +# Don't remove above line! diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in index dcea326..910ab4e 100644 --- a/config/companion_libs/mpfr.in +++ b/config/companion_libs/mpfr.in @@ -32,11 +32,3 @@ config MPFR_VERSION default "2.4.1" if MPFR_V_2_4_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/ diff --git a/config/companion_libs/ppl.in b/config/companion_libs/ppl.in index d8f5906..efdeabf 100644 --- a/config/companion_libs/ppl.in +++ b/config/companion_libs/ppl.in @@ -17,17 +17,3 @@ config PPL_VERSION default "0.10.2" if PPL_V_0_10_2 # CT_INSERT_VERSION_STRING_ABOVE # Don't remove above line! - -config PPL_CHECK - bool - prompt "Check PPL (!!! README !!!)" - default n - help - Checking PPL is very intensive and takes a loooong time. - The PPL folks do not recommend checking the library, but they do - not recommend not checking it, either. - - Checking PPL is thus disabled by default. - - If you suspect that your PPL library is the cause for incorrectly - generated code, you should answer 'Y' here. |