From 548b9d091fda2c20a62ca97dddef8b6d5cdf11c6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 4 Feb 2024 18:23:46 -0800
Subject: [PATCH] move libz3.so from lib to bin, remove lib from distribution

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/nightly.yaml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 43d4fa1e123..478fdb96927 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -88,7 +88,9 @@ stages:
                       -DCMAKE_INSTALL_PREFIX=$(name)\
                       -G "Ninja" ../
            ninja install
-           cp -r Microsoft.Z3 $(name)/.
+           cp -r Microsoft.Z3 $(name)/bin/.
+           cp $(name)/lib/libz3.so $(name)/bin/.
+           rm -rf $(name)/lib
            zip -r $(name).zip $(name)
            cd ..
     - script: cp $(arch)/*.zip $(Build.ArtifactStagingDirectory)/.