Groups | Search | Server Info | Login | Register

Groups > linux.debian.policy > #9058

Bug#757760: debian-policy: please document build profiles

From Helmut Grohne <helmut@subdivi.de>
Newsgroups linux.debian.bugs.dist, linux.debian.policy
Subject Bug#757760: debian-policy: please document build profiles
Date 2025-11-18 10:20 +0100
Message-ID <LSq2t-dQOH-1@gated-at.bofh.it> (permalink)
References (3 earlier) <KSO6Z-7ed2-5@gated-at.bofh.it> <LROzU-drv1-17@gated-at.bofh.it> <LS3yV-dBpb-7@gated-at.bofh.it> <nNSwG-268-7@gated-at.bofh.it> <LS3yV-dBpb-7@gated-at.bofh.it>
Organization linux.* mail to news gateway

Cross-posted to 2 groups.

Show all headers | View raw

[Multipart message — attachments visible in raw view] - view raw

Hi josch,

On Mon, Nov 17, 2025 at 09:20:49AM +0100, Johannes Schauer Marin Rodrigues wrote:
> The new version now reads:
> 
>  97 +host architecture and a set of enabled build profiles. Their results
>  98 +indicate whether the dependency alternative should be considered or
>  99 +ignored. For a dependency alternative to be considered, the architecture
> 100 +restriction list (if any) and the build profile restriction formula (if
> 101 +any) must evaluate to true. A dependency is considered satisfied if none
> 102 +of its alternatives apply.
> 
> I have a problem with the last sentence. I think saying that a dependency is
> considered "satisfied" is wrong here. The dependency is not satisfied, it is
> "considered" instead of being "ignored" by a solver and then that solver
> decides about whether or not a dependency is satisfied in the context of a
> package universe. Or am I misunderstanding what you want to say with the last
> sentence?

Hmm. Yeah, I hope that s/considered satisfied/ignored/ works for you.

> I think you want to replace the last nopython with noinsttest to make the text
> fit the restriction formula example.

Fixed. Thanks.

Helmut

Back to linux.debian.policy | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Bug#757760: debian-policy: please document build profiles Johannes Schauer Marin Rodrigues <josch@debian.org> - 2025-03-30 17:20 +0200
  Bug#757760: debian-policy: please document build profiles Sean Whitton <spwhitton@spwhitton.name> - 2025-03-31 05:00 +0200
  Bug#757760: debian-policy: please document build profiles Sean Whitton <spwhitton@spwhitton.name> - 2025-06-01 12:30 +0200
    Bug#757760: debian-policy: please document build profiles Helmut Grohne <helmut@subdivi.de> - 2025-11-16 18:20 +0100
      Bug#757760: debian-policy: please document build profiles Johannes Schauer Marin Rodrigues <josch@debian.org> - 2025-11-17 10:20 +0100
        Bug#757760: debian-policy: please document build profiles Helmut Grohne <helmut@subdivi.de> - 2025-11-18 10:20 +0100
          Bug#757760: debian-policy: please document build profiles Guillem Jover <guillem@debian.org> - 2025-12-05 13:30 +0100
            Bug#757760: debian-policy: please document build profiles Guillem Jover <guillem@debian.org> - 2025-12-18 14:50 +0100
          Bug#757760: debian-policy: please document build profiles Sean Whitton <spwhitton@spwhitton.name> - 2026-02-26 21:20 +0100
            Bug#757760: debian-policy: please document build profiles Johannes Schauer Marin Rodrigues <josch@debian.org> - 2026-03-26 09:00 +0100
              Bug#757760: debian-policy: please document build profiles Sean Whitton <spwhitton@spwhitton.name> - 2026-03-26 14:30 +0100
                Bug#757760: debian-policy: please document build profiles Johannes Schauer Marin Rodrigues <josch@debian.org> - 2026-03-26 17:30 +0100
                Bug#757760: debian-policy: please document build profiles Guillem Jover <guillem@debian.org> - 2026-03-26 18:20 +0100
                Bug#757760: debian-policy: please document build profiles Johannes Schauer Marin Rodrigues <josch@debian.org> - 2026-03-26 19:20 +0100
      Bug#757760: debian-policy: please document build profiles Sean Whitton <spwhitton@spwhitton.name> - 2025-11-25 13:10 +0100

csiph-web