Patch for 14.0.6 + z3

FNALssi · Oct 3, 2024 · 2ad4a59 · 2ad4a59
1 parent 5d0f731
commit 2ad4a59
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/var/spack/repos/builtin/packages/llvm/package.py b/var/spack/repos/builtin/packages/llvm/package.py
@@ -627,6 +627,15 @@ def patch(self):
             string=True,
         )
 
+    @when("@14.0.6")
+    def patch(self):
+        filter_file(
+            r"#include <z3.h>",
+            "#include <z3.h>\n#include<cstdio>",
+            "llvm/cmake/modules/FindZ3.cmake",
+            string=True,
+        )
+
     compiler_version_regex = (
         # Normal clang compiler versions are left as-is
         r"clang version ([^ )\n]+)-svn[~.\w\d-]*|"