From dd4d7bae1dfdcba1697b7c669b5518bfd2daf39c Mon Sep 17 00:00:00 2001 From: Massimiliano Culpo Date: Thu, 21 Oct 2021 17:44:36 +0200 Subject: ASP-based solver: a package eligible to provide a virtual must provide it fixes #26866 This semantics fits with the way Spack currently treats providers of virtual dependencies. It needs to be revisited when #15569 is reworked with a new syntax. --- lib/spack/spack/solver/concretize.lp | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'lib') diff --git a/lib/spack/spack/solver/concretize.lp b/lib/spack/spack/solver/concretize.lp index b85d2f798a..33044e0d38 100644 --- a/lib/spack/spack/solver/concretize.lp +++ b/lib/spack/spack/solver/concretize.lp @@ -190,6 +190,11 @@ provides_virtual(Provider, Virtual) :- % fulfill the conditions to provide that virtual :- provider(Package, Virtual), not provides_virtual(Package, Virtual). +% If a package meets the condition to be a provider, it needs to be a provider +:- not provider(Package, Virtual), + provides_virtual(Package, Virtual), + virtual_node(Virtual). + % If a package is selected as a provider, it is provider of all % the virtuals it provides :- provides_virtual(Package, V1), provides_virtual(Package, V2), V1 != V2, -- cgit v1.2.3-70-g09d2