Open MPI logo

Hardware Locality Development Mailing List Archives

  |   Home   |   Support   |   FAQ   |   all Hardware Locality Development mailing list

Subject: Re: [hwloc-devel] libpci: GPL
From: Samuel Thibault (samuel.thibault_at_[hidden])
Date: 2013-02-06 13:24:00

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.thibault_at_[hidden]> 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.