From 4668616f5547bab656b3f0f3d239e04a9ab7947f 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 3c0c223a86..5ebf546c69 100644
--- a/lib/spack/spack/solver/os_compatibility.lp
+++ b/lib/spack/spack/solver/os_compatibility.lp
@@ -10,6 +10,8 @@
 %=============================================================================
 
 % macOS
+os_compatible("sonoma", "ventura").
+os_compatible("ventura", "monterey").
 os_compatible("monterey", "bigsur").
 os_compatible("bigsur", "catalina").