mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

move libz3.so from lib to bin, remove lib from distribution

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2024-02-04 18:23:46 -08:00
parent 7970e4fe51
commit 548b9d091f
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
scripts/nightly.yaml
View file

@ -88,7 +88,9 @@ stages:
-DCMAKE_INSTALL_PREFIX=$(name)\ -DCMAKE_INSTALL_PREFIX=$(name)\
-G "Ninja" ../ -G "Ninja" ../
ninja install 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) zip -r $(name).zip $(name)
cd .. cd ..
- script: cp $(arch)/*.zip $(Build.ArtifactStagingDirectory)/. - script: cp $(arch)/*.zip $(Build.ArtifactStagingDirectory)/.