From 7e452d93794d0959294c1bce91a94cd6d6ca268b Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 12 Feb 2026 21:22:30 +0000
Subject: [PATCH] Fix test-nuget on macOS by rewriting csproj with proper
 configuration

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 .github/workflows/nightly-validation.yml | 42 +++++++++++++++++++-----
 1 file changed, 34 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/nightly-validation.yml b/.github/workflows/nightly-validation.yml
index 73c79704b..8a0e5cd0f 100644
--- a/.github/workflows/nightly-validation.yml
+++ b/.github/workflows/nightly-validation.yml
@@ -165,10 +165,23 @@ jobs:
           cd test-nuget
           dotnet new console
           dotnet add package Microsoft.Z3 --source ../nuget-packages --prerelease
-          # Add RuntimeIdentifier to ensure native library is loaded correctly
-          sed -i '' '/<\/PropertyGroup>/i\
-          <RuntimeIdentifier>osx-x64</RuntimeIdentifier>\
-          ' test-nuget.csproj
+          # Configure project to properly load native dependencies on macOS x64
+          # Use full csproj rewrite to avoid sed escaping issues and ensure correct configuration
+          cat > test-nuget.csproj << 'CSPROJ'
+          <Project Sdk="Microsoft.NET.Sdk">
+            <PropertyGroup>
+              <OutputType>Exe</OutputType>
+              <TargetFramework>net8.0</TargetFramework>
+              <ImplicitUsings>enable</ImplicitUsings>
+              <Nullable>enable</Nullable>
+              <RuntimeIdentifier>osx-x64</RuntimeIdentifier>
+              <PlatformTarget>AnyCPU</PlatformTarget>
+            </PropertyGroup>
+            <ItemGroup>
+              <PackageReference Include="Microsoft.Z3" Version="*" />
+            </ItemGroup>
+          </Project>
+          CSPROJ
       
       - name: Create test code
         run: |
@@ -224,10 +237,23 @@ jobs:
           cd test-nuget
           dotnet new console
           dotnet add package Microsoft.Z3 --source ../nuget-packages --prerelease
-          # Add RuntimeIdentifier to ensure native library is loaded correctly
-          sed -i '' '/<\/PropertyGroup>/i\
-          <RuntimeIdentifier>osx-arm64</RuntimeIdentifier>\
-          ' test-nuget.csproj
+          # Configure project to properly load native dependencies on macOS ARM64
+          # Use full csproj rewrite to avoid sed escaping issues and ensure correct configuration
+          cat > test-nuget.csproj << 'CSPROJ'
+          <Project Sdk="Microsoft.NET.Sdk">
+            <PropertyGroup>
+              <OutputType>Exe</OutputType>
+              <TargetFramework>net8.0</TargetFramework>
+              <ImplicitUsings>enable</ImplicitUsings>
+              <Nullable>enable</Nullable>
+              <RuntimeIdentifier>osx-arm64</RuntimeIdentifier>
+              <PlatformTarget>AnyCPU</PlatformTarget>
+            </PropertyGroup>
+            <ItemGroup>
+              <PackageReference Include="Microsoft.Z3" Version="*" />
+            </ItemGroup>
+          </Project>
+          CSPROJ
       
       - name: Create test code
         run: |