From 23b04ffc08656841c6d04425181c34f3b614e360 Mon Sep 17 00:00:00 2001
From: xq114 <1140735506@qq.com>
Date: Tue, 29 Mar 2022 20:38:45 +0800
Subject: [PATCH] improve z3

---
 packages/z/z3/xmake.lua | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/packages/z/z3/xmake.lua b/packages/z/z3/xmake.lua
index 1eac9e7e0..675684ad7 100644
--- a/packages/z/z3/xmake.lua
+++ b/packages/z/z3/xmake.lua
@@ -74,7 +74,9 @@ package("z3")
     end)
 
     on_test(function (package)
-        os.vrun("z3 -version")
-        os.vrun("python3 -c \"import z3\"")
+        if package:is_plat(os.host()) and package:is_arch(os.arch()) then
+            os.vrun("z3 -version")
+            os.vrun("python3 -c \"import z3\"")
+        end
         assert(package:has_cfuncs("Z3_mk_config", {includes = "z3.h"}))
     end)