Fix issue with duplicate glibc node

alalazo · alalazo · commit b049375976d0 · 2024-04-19T18:18:11.000+02:00
diff --git a/lib/spack/spack/solver/libc_compatibility.lp b/lib/spack/spack/solver/libc_compatibility.lp
@@ -12,8 +12,10 @@
 % A package cannot be reused if the libc is not compatible with it
 :- provider(node(X, LibcPackage), node(0, "libc")),
    attr("version", node(X, LibcPackage), LibcVersion),
-   attr("hash", ReusedNode, Hash),
-   not attr("compatible_libc", ReusedNode, LibcPackage, LibcVersion).
+   attr("hash", node(R, ReusedPackage), Hash),
+   % Libc packages can be reused without the "compatible_libc" attribute
+   ReusedPackage != LibcPackage,
+   not attr("compatible_libc", node(R, ReusedPackage), LibcPackage, LibcVersion).
 
 % A libc is needed in the DAG
 :- not provider(_, node(0, "libc")).
