Jeff Squyres (jsquyres), le Wed 06 Feb 2013 17:33:03 +0100, a écrit : > On Feb 6, 2013, at 8:21 AM, Samuel Thibault <samuel.thiba...@inria.fr> wrote: > > >> - if found, and if --enable-gpl-taint was specified, use it. STOP. > > > > Such kind of options are questionable: nothing says that libpci is for sure > > GPL. The system might have a BSD replacement for libpci with the exact same > > API... > > Do we know if this has happened?
I don't think it has. On another level, as previously mentioned, such kind of option would mean that we track GPL-ness, while we can't really promise that we can check the licence of the libraries we are linking with. Samuel
