Add RHEL9-like distros (#1202)

Co-authored-by: Ludovico Bianchi <lbianchi@lbl.gov>
IDAES · Jun 10, 2023 · 623c168 · 623c168
1 parent d96f560
commit 623c168
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/idaes/config.py b/idaes/config.py
@@ -47,13 +47,17 @@
 # Map some platform names to others for get-extensions
 binary_distro_map = {
     "macos": "darwin",
+    "el9": "ubuntu2204",
     "rhel7": "el7",
     "rhel8": "el8",
+    "rhel9": "ubuntu2204",
     "scientific7": "el7",
     "centos7": "el7",
     "centos8": "el8",
     "rocky8": "el8",
+    "rocky9": "ubuntu2204",
     "almalinux8": "el8",
+    "almalinux9": "ubuntu2204",
     "debian9": "el7",
     "debian10": "el8",
     "debian11": "ubuntu2004",