gnat-bootstrap12: restrict platforms (#394842)

2025-03-31 20:41:17 +02:00
parent 3eeaa42ef4 9adf6e599c
commit a13ec5d0bf
1 changed files with 2 additions and 1 deletions
@@ -197,7 +197,8 @@ in {
    homepage = "https://www.gnu.org/software/gnat";
    license = licenses.gpl3;
    maintainers = with maintainers; [ ethindp ];
-    platforms = [ "x86_64-linux" "x86_64-darwin" "aarch64-linux" ];
+    platforms = [ "x86_64-linux" "x86_64-darwin" ]
+      ++ lib.optionals (lib.versionAtLeast majorVersion "14") [ "aarch64-linux" ];
    sourceProvenance = with lib.sourceTypes; [ binaryNativeCode ];
  };
 })