http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53919
--- Comment #2 from Erik Schnetter <schnetter at gmail dot com> 2012-07-10 18:26:53 UTC --- I am currently installing gcc 4.7.1, and and dealing with the prerequisites. gmp 5.x was not recognised as valid version; I had to install gmp 4.x instead. Finding a valid combination of ppl/cloog/isl versions was another issue: after downloading and installing isl, I found that gcc 4.7.1 doesn't even offer the respective configuration option. These may just be "details" in the prerequisites, but it is just these details that I am looking for in the install instructions. I appreciate that the instructions generally don't change that much between versions, but the same can probably be said about the manual -- new options, new optimisations, and new architectures tend to be few among a large bulk of things that remain the same. Yet, the web site makes a clear distinctions between manuals for different versions, and doesn't even seem to offer an online manual for the trunk.