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 11:21:34

Brice Goglin, le Wed 06 Feb 2013 16:03:21 +0100, a écrit :
> I am not sure yet if we should add a
> --disable-gpl or --enable-gpl,

Jeff Squyres (jsquyres), le Wed 06 Feb 2013 16:11:55 +0100, a écrit :
> - 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...