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

try out arch arm64 on the mac

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-02-20 10:31:29 +02:00
parent 4d184fe65d
commit c25d710958
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
scripts/nightly.yaml
View file

@ -1,5 +1,6 @@
variables: variables:
ReleaseVersion: '4.8.15' ReleaseVersion: '4.8.15'
MacFlags: 'CXXFLAGS=-arch arm64 LINK_EXTRA_FLAGS=-arch arm64 SLINK_EXTRA_FLAGS=-arch arm64'
stages: stages:
- stage: Build - stage: Build
@ -10,7 +11,7 @@ stages:
pool: pool:
vmImage: "macOS-latest" vmImage: "macOS-latest"
steps: steps:
- script: python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk - script: $(MacFlags) python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk
- script: git clone https://github.com/z3prover/z3test z3test - script: git clone https://github.com/z3prover/z3test z3test
- script: python z3test/scripts/test_benchmarks.py build-dist/z3 z3test/regressions/smt2 - script: python z3test/scripts/test_benchmarks.py build-dist/z3 z3test/regressions/smt2
- script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/. - script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/.