[DRE-maint] Boost library

[Kalle Kivimaa]

Adam C Powell IV <hazelsct at debian.org> writes:
> Do you need me to remove the contrib/boost/include directory from the
> deal.II upstream .tar.gz?  I can probably make it work with the headers
> from libboost-dev, with or without contrib/boost in the source tarball.

You don't need to strip the boost from the upstream tar.gz as long as
those files are never used in the build process. I'd much rather have
the package use the headers from libboost-dev, and I think the
security team would agree with me here.

> I just uploaded -3 with proper copyright attribution for the deal.II
> contrib/boost directory.  (Sorry, forgot about this message while
> building and uploading it, I would have awaited your answer...)

OK, I'll hold that too, until we resolve this to everybody's
satisfaction.

-- 
* Sufficiently advanced magic is indistinguishable from technology (T.P)  *
*           PGP public key available @ http://www.iki.fi/killer           *