On 01/02/16 19:27, Mike Stump wrote:
On Jan 29, 2016, at 8:10 AM, Sebastian Pop<s....@samsung.com> wrote:>diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi >index 062f42c..3df7974 100644 >--- a/gcc/doc/install.texi >+++ b/gcc/doc/install.texi >@@ -383,7 +383,7 @@ installed but it is not in your default library search path, the >@option{--with-mpc} configure option should be used. See also >@option{--with-mpc-lib} and @option{--with-mpc-include}. > >-@item isl Library version 0.15 or 0.14. >+@item isl Library version 0.16, 0.15, or 0.14.So, they should commit to compatibility with apis vended, and if they do, I think we should say 0.14 or later. This doesn’t mean that we won’t need fixes from time to time or that they will always do this, but generally that is true. If we (they) deviate from this,_then_ we document the exceptions. If release after release goes out, with all newer versions not working, then the list of known good versions is best; but, I’d say that something is terribly broken if we had to do that.
It would be good to have a recommended version as well (similar for cloog, gmp, mpc and mpfr). If you present me three versions which one should I choose as a naive user? Are the versions in the contrib/download_prerequisites script the recommended ones?
-- Sebastian Huber, embedded brains GmbH Address : Dornierstr. 4, D-82178 Puchheim, Germany Phone : +49 89 189 47 41-16 Fax : +49 89 189 47 41-09 E-Mail : sebastian.hu...@embedded-brains.de PGP : Public key available on request. Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG.
