Bug#872808: [debian-policy] nocheck DEB_BUILD_OPTIONS DEB_BUILD_PROFILES

[Ghislain Vaillant <ghisvail@gmail.com>]

On Mon, 21 Aug 2017 16:07:13 +0200 Helmut Grohne <helmut@subdivi.de> wrote:
> On Mon, Aug 21, 2017 at 03:37:35PM +0200, Bastien ROUCARIÈS wrote:
> > index f706a13..d3d868c 100644
> > --- a/policy/ch-source.rst
> > +++ b/policy/ch-source.rst
> > @@ -465,7 +465,8 @@ The meaning of the following tags has been standardized:
> >  
> >  ``nocheck``
> >      This tag says to not run any build-time test suite provided by the
> > -    package.
> > +    package. This tag could be also specified using 
> > +   ``DEB_BUILD_PROFILES`` variable with nocheck flag
> >  
> >  ``nodoc``
> >      This tag says to skip any build steps that only generate package
>
> The build profile spec[1] says that you must add nocheck to
> DEB_BUILD_OPTIONS when adding the nocheck profile.
>
> > @@ -531,7 +532,7 @@ order to make it work for your package.
> >  
> >      build:
> >              # ...
> > -    ifeq (,$(filter nocheck,$(DEB_BUILD_OPTIONS)))
> > +    ifeq (,$(filter nocheck,$(DEB_BUILD_OPTIONS $DEB_BUILD_PROFILES)))
> >              # Code to run the package test suite.
> >      endif
> >  
>
> This is unnecessary by the above comment.

I also suspect that given DEB_BUILD_PROFILES=nocheck implies 
DEB_BUILD_OPTIONS=nocheck, the same should be true for nodoc?

Ghis