I looked at the ISL sources and saw that they generally had license notices of the form:
* Use of this software is governed by the GNU LGPLv2.1 license For use in GCC I think it needs to have the "any later version" clause to allow distribution under later versions of the LGPL as well, so that it can be included in a binary under GPLv3 or later. Both listed copyright holders (INRIA Saclay, Katholieke Universiteit Leuven) will need to approve that change. -- Joseph S. Myers jos...@codesourcery.com
