From c25d710958ea6993df5870c93429a12eae886611 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 20 Feb 2022 10:31:29 +0200
Subject: [PATCH] try out arch arm64 on the mac
---
scripts/nightly.yaml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
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)/.