zhangyiss/spack
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

llvm: reformulate a when condition to avoid tautology (#41461)

Browse Source 
The condition on swig can be interpreted as "true if true,
false if false" and gives clingo the option to add swig
or not.

If not other optimization criteria break the tie, then
the concretization is non-deterministic.
This commit is contained in:
Massimiliano Culpo 2023-12-06 19:12:42 +01:00 committed by GitHub
parent b522d8f610
commit 5404a5bb82
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
var/spack/repos/builtin/packages/llvm/package.py
View File

@ -308,8 +308,8 @@ class Llvm(CMakePackage, CudaPackage):
depends_on("swig", when="+python") depends_on("swig", when="+python")
depends_on("xz") depends_on("xz")
# Use ^swig cause it's triggered by both python & lua scripting in lldb for _when_spec in ("+lldb+python", "+lldb+lua"):
with when("^swig"): with when(_when_spec):
depends_on("swig@2:", when="@10:") depends_on("swig@2:", when="@10:")
depends_on("swig@3:", when="@12:") depends_on("swig@3:", when="@12:")
depends_on("swig@4:", when="@17:") depends_on("swig@4:", when="@17:")