diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 08b3501a0..69fedc00c 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -1,5 +1,6 @@ variables: ReleaseVersion: '4.8.15' + MacFlags: 'CXXFLAGS=-arch arm64 LINK_EXTRA_FLAGS=-arch arm64 SLINK_EXTRA_FLAGS=-arch arm64' stages: - stage: Build @@ -10,7 +11,7 @@ stages: pool: vmImage: "macOS-latest" 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: python z3test/scripts/test_benchmarks.py build-dist/z3 z3test/regressions/smt2 - script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/.