mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-06 15:26:15 +00:00
Code Activity

Remove RuntimeIdentifier to fix assembly loading on macOS

Browse source 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-02-12 21:24:22 +00:00 • committed by Nikolaj Bjorner
parent 4903917bc5
commit d75fbe766e
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
.github/workflows/nightly-validation.yml vendored
View file

@ -166,7 +166,8 @@ jobs:
dotnet new console dotnet new console
dotnet add package Microsoft.Z3 --source ../nuget-packages --prerelease dotnet add package Microsoft.Z3 --source ../nuget-packages --prerelease
# Configure project to properly load native dependencies on macOS x64 # Configure project to properly load native dependencies on macOS x64
# Use full csproj rewrite to avoid sed escaping issues and ensure correct configuration # Use AnyCPU without RuntimeIdentifier to avoid architecture mismatch
# The .NET runtime will automatically select the correct native library from runtimes/osx-x64/native/
cat > test-nuget.csproj << 'CSPROJ' cat > test-nuget.csproj << 'CSPROJ'
<Project Sdk="Microsoft.NET.Sdk"> <Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup> <PropertyGroup>
@ -174,7 +175,6 @@ jobs:
<TargetFramework>net8.0</TargetFramework> <TargetFramework>net8.0</TargetFramework>
<ImplicitUsings>enable</ImplicitUsings> <ImplicitUsings>enable</ImplicitUsings>
<Nullable>enable</Nullable> <Nullable>enable</Nullable>
<RuntimeIdentifier>osx-x64</RuntimeIdentifier>
<PlatformTarget>AnyCPU</PlatformTarget> <PlatformTarget>AnyCPU</PlatformTarget>
</PropertyGroup> </PropertyGroup>
<ItemGroup> <ItemGroup>
@ -238,7 +238,8 @@ jobs:
dotnet new console dotnet new console
dotnet add package Microsoft.Z3 --source ../nuget-packages --prerelease dotnet add package Microsoft.Z3 --source ../nuget-packages --prerelease
# Configure project to properly load native dependencies on macOS ARM64 # Configure project to properly load native dependencies on macOS ARM64
# Use full csproj rewrite to avoid sed escaping issues and ensure correct configuration # Use AnyCPU without RuntimeIdentifier to avoid architecture mismatch
# The .NET runtime will automatically select the correct native library from runtimes/osx-arm64/native/
cat > test-nuget.csproj << 'CSPROJ' cat > test-nuget.csproj << 'CSPROJ'
<Project Sdk="Microsoft.NET.Sdk"> <Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup> <PropertyGroup>
@ -246,7 +247,6 @@ jobs:
<TargetFramework>net8.0</TargetFramework> <TargetFramework>net8.0</TargetFramework>
<ImplicitUsings>enable</ImplicitUsings> <ImplicitUsings>enable</ImplicitUsings>
<Nullable>enable</Nullable> <Nullable>enable</Nullable>
<RuntimeIdentifier>osx-arm64</RuntimeIdentifier>
<PlatformTarget>AnyCPU</PlatformTarget> <PlatformTarget>AnyCPU</PlatformTarget>
</PropertyGroup> </PropertyGroup>
<ItemGroup> <ItemGroup>