From 114406a8cbc4d90a553e7e71a335edde434c8be8 Mon Sep 17 00:00:00 2001
From: Iain Scott <iscott@cantab.net>
Date: Mon, 28 Jun 2021 10:47:34 +0100
Subject: [PATCH] Exclude native pdb since it causes NuGet to fail validation
 anyway. (#2)

---
 Symbolica.Z3.nuspec | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Symbolica.Z3.nuspec b/Symbolica.Z3.nuspec
index 00bf812..b1671dd 100644
--- a/Symbolica.Z3.nuspec
+++ b/Symbolica.Z3.nuspec
@@ -20,8 +20,8 @@
     <file src="Icon.png" target="" />
     <file src="Windows\*\LICENSE.txt" target="" />
     <file src="Windows\*\bin\Microsoft.Z3.*" target="lib\$targetFramework$" exclude="**\*.json" />
-    <file src="Windows\*\bin\libz3.*" target="runtimes\win-x64\native" exclude="**\*.lib" />
-    <file src="Linux\*\bin\libz3.*" target="runtimes\linux-x64\native" exclude="**\*.a" />
-    <file src="macOS\*\bin\libz3.*" target="runtimes\osx-x64\native" exclude="**\*.a" />
+    <file src="Windows\*\bin\libz3.dll" target="runtimes\win-x64\native" />
+    <file src="Linux\*\bin\libz3.so" target="runtimes\linux-x64\native" />
+    <file src="macOS\*\bin\libz3.dylib" target="runtimes\osx-x64\native" />
   </files>
 </package>