From 519098b73d5f555dc833b861fb3fed96734a4cbd Mon Sep 17 00:00:00 2001
From: Yatao Li <yatli@microsoft.com>
Date: Wed, 17 Oct 2018 11:27:20 +0800
Subject: [PATCH] fix nuget props package path detection

---
 src/api/dotnet/Microsoft.Z3.props | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/api/dotnet/Microsoft.Z3.props b/src/api/dotnet/Microsoft.Z3.props
index 67bb471ba..290cc5f86 100644
--- a/src/api/dotnet/Microsoft.Z3.props
+++ b/src/api/dotnet/Microsoft.Z3.props
@@ -7,8 +7,8 @@
     <IsLinux Condition="'$([System.Runtime.InteropServices.RuntimeInformation]::IsOSPlatform($([System.Runtime.InteropServices.OSPlatform]::Linux)))' == 'true'">true</IsLinux>
     <IsWindows Condition="'$([System.Runtime.InteropServices.RuntimeInformation]::IsOSPlatform($([System.Runtime.InteropServices.OSPlatform]::Windows)))' == 'true'">true</IsWindows>
 
-    <!-- Probe for a tools\ directory which will contain Trinity.TSL.Compiler.exe. -->
-    <Z3_PACKAGE_PATH Condition="('$(Z3_PACKAGE_PATH)' == '')">$(MSBuildThisFileDirectory)..\..\</Z3_PACKAGE_PATH>
+    <!-- Probe the package root path -->
+    <Z3_PACKAGE_PATH Condition="('$(Z3_PACKAGE_PATH)' == '')">$(MSBuildThisFileDirectory)..\</Z3_PACKAGE_PATH>
     <Z3_NATIVE_LIB_PATH Condition="'$(IsWindows)' == 'true'">$(Z3_PACKAGE_PATH)runtimes\win-x64\native\libz3.dll</Z3_NATIVE_LIB_PATH>
     <Z3_NATIVE_LIB_PATH Condition="'$(IsLinux)' == 'true'">$(Z3_PACKAGE_PATH)runtimes\linux-x64\native\libz3.so</Z3_NATIVE_LIB_PATH>
   </PropertyGroup>