DMARC-Filter: OpenDMARC Filter v1.4.2 delorie.com 57NI7MW82808196
Authentication-Results: delorie.com; dmarc=pass (p=none dis=none) header.from=cygwin.com
Authentication-Results: delorie.com; spf=pass smtp.mailfrom=cygwin.com
DKIM-Filter: OpenDKIM Filter v2.11.0 delorie.com 57NI7MW82808196
Authentication-Results: delorie.com;
	dkim=pass (1024-bit key, unprotected) header.d=cygwin.com header.i=@cygwin.com header.a=rsa-sha256 header.s=default header.b=GvVxDyDc
X-Recipient: archive-cygwin AT delorie DOT com
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org D51F63857BA2
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cygwin.com;
	s=default; t=1755972440;
	bh=X70xKS55k79VeF2SELN2VzAwa6aDptJ8bqn86iVq3BU=;
	h=Date:Subject:To:References:Cc:In-Reply-To:List-Id:
	 List-Unsubscribe:List-Archive:List-Post:List-Help:List-Subscribe:
	 From:Reply-To:From;
	b=GvVxDyDcFtvCkjaCjtYQ4SALJJr7OpgMhIJELZAULPX4LqPOjcv3+Ct6mJNpukgH7
	 0wm49ml7HXmTXfLZcx5UdRXzhmBdnnmPYIWhuckEuiNxGc2aDTKI8Usib1WOe2oobv
	 0bwCP4fw7AWhR+GIgF+TSufit2D2RuWHr/+a774Q=
X-Original-To: cygwin AT cygwin DOT com
Delivered-To: cygwin AT cygwin DOT com
DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 5EFAC3858D29
ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 5EFAC3858D29
ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1755972416; cv=none;
 b=csMWgdTjVPktkx3tgafNbapRxzCpdc9Xq0OHvo/EyIKmFSAGpddbmx9oIB/IvOJJa40wcH8Lprx5g4w6GNOsjEtKz6rusFcn6DijfcIfQrGJZrpkTg5joALTu5b99wVKHW7ZbJIgL9PfqqqAFNsKXXV6SpkBr8/ZipcwQtti+Ro=
ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key;
 t=1755972416; c=relaxed/simple;
 bh=1nJNwMHWaUfGYA33Hg0860aJnOAlxAFIigmeqtUfyCI=;
 h=Message-ID:Date:MIME-Version:Subject:To:From;
 b=LvJLneyd51mJzOvnfiTITl0OyQkvply96HwIzXBF0uAC7UiemePiudPspVezLmrMlgLt4FxpCScGDXUMYppOXELNKhM5rmoGeZMHPCGgkTupq6rUHKwkkgI0I3qd2R30EQ7qlL/gaypO8DHoqT3RXiUe0izWOE3brxjot1hV2kU=
ARC-Authentication-Results: i=1; server2.sourceware.org
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 5EFAC3858D29
X-SNCR-Rigid: 6864BE8A05780CB6
X-Originating-IP: [86.144.41.51]
X-OWM-Source-IP: 86.144.41.51
X-OWM-Env-Sender: jon DOT turney AT dronecode DOT org DOT uk
X-RazorGate-Vade: gggruggvucftvghtrhhoucdtuddrgeeffedrtdefgdduieejfedvucetufdoteggodetrfdotffvucfrrhhofhhilhgvmecuueftkffvkffujffvgffngfevqffopdfqfgfvnecuuegrihhlohhuthemuceftddunecunecujfgurhepkfffgggfuffvfhfhvegjtgfgsehtjeertddtvdejnecuhfhrohhmpeflohhnucfvuhhrnhgvhicuoehjohhnrdhtuhhrnhgvhiesughrohhnvggtohguvgdrohhrghdruhhkqeenucggtffrrghtthgvrhhnpeevvdekgfffteetueehgfdugefgkeevleejudduheevuedtveejfeevvdevvdfgvdenucfkphepkeeirddugeegrdeguddrhedunecuvehluhhsthgvrhfuihiivgeptdenucfrrghrrghmpehhvghloheplgduledvrdduieekrddurddutdelngdpihhnvghtpeekiedrudeggedrgedurdehuddpmhgrihhlfhhrohhmpehjohhnrdhtuhhrnhgvhiesughrohhnvggtohguvgdrohhrghdruhhkpdhrvghvkffrpehhohhsthekiedqudeggedqgeduqdehuddrrhgrnhhgvgekiedqudeggedrsghttggvnhhtrhgrlhhplhhushdrtghomhdprghuthhhpghushgvrhepjhhonhhtuhhrnhgvhiessghtihhnthgvrhhnvghtrdgtohhmpdhgvghokffrpefiuedpoffvtefjohhsthepsghtphhrughrghhotddutddpnhgspghrtghpthhtohepvddprhgtphhtthhopegthihgfihinhestgihghifihhnrdgtohhmpdhrtghpthhtoheptgihghifihhnsehjughrrghkvgdr
 tghomh
X-RazorGate-Vade-Verdict: clean 0
X-RazorGate-Vade-Classification: clean
X-VadeSecure-score: verdict=clean score=0/300, class=clean
Message-ID: <21dfe774-ef24-4230-ba02-b83a2127bd05@dronecode.org.uk>
Date: Sat, 23 Aug 2025 19:06:49 +0100
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Subject: Re: another possible setup bug: not accepting "provides" name in -P
To: Jeremy Drake <cygwin AT jdrake DOT com>
References: <a6d1cfd0-579e-2e15-2965-98ef0f10cb3a AT jdrake DOT com>
 <87sehr1jam DOT fsf AT Gerda DOT invalid>
 <28f84b30-0661-7c8b-5c95-7e167fe04e98 AT jdrake DOT com>
Content-Language: en-US
Cc: cygwin AT cygwin DOT com
In-Reply-To: <28f84b30-0661-7c8b-5c95-7e167fe04e98@jdrake.com>
X-BeenThere: cygwin AT cygwin DOT com
X-Mailman-Version: 2.1.30
Precedence: list
List-Id: General Cygwin discussions and problem reports <cygwin.cygwin.com>
List-Unsubscribe: <https://cygwin.com/mailman/options/cygwin>,
 <mailto:cygwin-request AT cygwin DOT com?subject=unsubscribe>
List-Archive: <https://cygwin.com/pipermail/cygwin/>
List-Post: <mailto:cygwin AT cygwin DOT com>
List-Help: <mailto:cygwin-request AT cygwin DOT com?subject=help>
List-Subscribe: <https://cygwin.com/mailman/listinfo/cygwin>,
 <mailto:cygwin-request AT cygwin DOT com?subject=subscribe>
From: Jon Turney via Cygwin <cygwin AT cygwin DOT com>
Reply-To: Jon Turney <jon DOT turney AT dronecode DOT org DOT uk>
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset="us-ascii"; Format="flowed"
Errors-To: cygwin-bounces~archive-cygwin=delorie DOT com AT cygwin DOT com
Sender: "Cygwin" <cygwin-bounces~archive-cygwin=delorie DOT com AT cygwin DOT com>

On 16/08/2025 17:37, Jeremy Drake via Cygwin wrote:
> On Sat, 16 Aug 2025, ASSI via Cygwin wrote:
> 
>> Jeremy Drake via Cygwin writes:
>>> I was trying to clean up my workflows now that llvm 20.1.8-2 is published,
>>> and I came across another possible setup bug.  It seems that the -P option
>>> doesn't accept a package name that is provided rather than being the
>>> actual name of a pacakge.
 >>>>>> llvm20.1-devel is provided by llvm-devel 20.1.8-2, but passing 
that to -P
>>> results in the message: Package 'libllvm20.1-devel' not found.  However,
>>> libclang-devel 20.1.8-2 requires libllvm20.1-devel, and selecting that
>>> version results in "Install libllvm-devel 20.1.8-2 (automatically added)",
>>> so requires does respect provides.
>>
>> Sorry, but it seems you're misusing provides
> 
> Quite possibly, I'm still trying to figure things out ;)
> 
>> (and I'm not clear on
>> whether there should be any dots in the names of provides, but I think
>> it's best avoided).  Provides are meant to guide dependency resolution
>> among a group of packages that belong together, not as an alias for the
>> install package.  It's the installed base package that delivers a
>> provide that ensures that the versions are compatible, so it does not
>> make sense for each and every package to have their own versioned
>> provide, which would imply that one could mix and match between say, lld
>> and llvm-devel versions.

I've read this a dozen times and I still have no idea what this is 
trying to say.

> Regardless, BUILD_REQUIRES is documented to allow provides, and scallywag
> passes BUILD_REQUIRES entries to setup -P, so there's a bug in there
> somewhere.
There's no difference as far as the depsolver is concerned between a 
solution satisfies P where P is implicitly provided by a package P, or 
explicitly provided: by P'.

But there's a very poor separation between UI and data-model in setup, 
so currently the command line options are converted into a UI state of 
package selections, which is then fed into the depsolver.

So yes, I think it's right to call it a bug, but fixing it will requires 
substantial work.

> (A lesser issue is that cygport warns that the provided name is not
> installed when the package that provides it is in fact installed, but this
> is probably a limitation of the installed package database not recording
> what the installed packages provide)

Yes, exactly.

We should be recording all the package's metadata, but installed.db just 
records the name.

-- 
Problem reports:      https://cygwin.com/problems.html
FAQ:                  https://cygwin.com/faq/
Documentation:        https://cygwin.com/docs.html
Unsubscribe info:     https://cygwin.com/ml/#unsubscribe-simple