From a9bd34c867c5582832e2f0d8254109095b66e0b8 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Wed, 3 Sep 2025 21:10:48 +0000
Subject: [PATCH] Enable ARM64 support in .NET NuGet package by adding Linux
 ARM64 and macOS ARM64 to os_info mapping

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 scripts/mk_nuget_task.py | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/scripts/mk_nuget_task.py b/scripts/mk_nuget_task.py
index d854adad4..e1b900cfd 100644
--- a/scripts/mk_nuget_task.py
+++ b/scripts/mk_nuget_task.py
@@ -28,12 +28,10 @@ os_info = {  'x64-ubuntu-latest' : ('so', 'linux-x64'),
              'x64-win' : ('dll', 'win-x64'),
              'x86-win' : ('dll', 'win-x86'),
              'x64-osx' : ('dylib', 'osx-x64'),
+             'arm64-glibc' : ('so', 'linux-arm64'),
+             'arm64-osx' : ('dylib', 'osx-arm64'),
              'debian' : ('so', 'linux-x64') }
 
-# Nuget not supported for ARM
-#'arm-glibc-2.35' : ('so', 'linux-arm64'),
-#'arm64-osx' : ('dylib', 'osx-arm64'),
-
         
 
 def classify_package(f, arch):