From e5edac4d0c64dde9c4858a61a3d16c6ed424dc3e Mon Sep 17 00:00:00 2001
From: Massimiliano Culpo <massimiliano.culpo@gmail.com>
Date: Fri, 26 Apr 2024 18:34:46 +0200
Subject: [PATCH] ASP-based solver: update os compatibility for macOS (#43862)

---
 lib/spack/spack/solver/os_compatibility.lp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lib/spack/spack/solver/os_compatibility.lp b/lib/spack/spack/solver/os_compatibility.lp
index 86d255ee36..651c86b7ae 100644
--- a/lib/spack/spack/solver/os_compatibility.lp
+++ b/lib/spack/spack/solver/os_compatibility.lp
@@ -12,6 +12,8 @@
 %=============================================================================
 
 % macOS
+os_compatible("sonoma", "ventura").
+os_compatible("ventura", "monterey").
 os_compatible("monterey", "bigsur").
 os_compatible("bigsur", "catalina").