mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 16:45:31 +00:00
Code Activity

setup python dist to remove internal build suffix for macos

Browse source
This commit is contained in:
Nikolaj Bjorner 2024-10-09 12:47:17 -07:00
parent da614c65e5
commit 48aa2f6988
2 changed files with 16 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/release.yml
View file

@ -98,7 +98,7 @@ stages:
- script: echo '##vso[task.prependpath]/tmp/arm-toolchain/aarch64-none-linux-gnu/libc/usr/bin'
- script: echo $PATH
- script: stat /tmp/arm-toolchain/bin/aarch64-none-linux-gnu-gcc
- script: python scripts/mk_unix_dist.py --nodotnet --nojava --arch=arm64
- script: python scripts/mk_unix_dist.py --nodotnet --arch=arm64
- task: CopyFiles@2
inputs:
sourceFolder: dist