Add LinuxBuildsArm64 ci azure-pipelines for testing (#7152)

Z3Prover · Mar 6, 2024 · aad8cbd · aad8cbd
1 parent 017367d
commit aad8cbd
Show file tree

Hide file tree

Showing 2 changed files with 46 additions and 5 deletions.
diff --git a/azure-pipelines.yml b/azure-pipelines.yml
@@ -43,6 +43,47 @@ jobs:
     - ${{if eq(variables['runRegressions'], 'True')}}:
       - template: scripts/test-regressions.yml
 
+- job: LinuxBuildsArm64
+  displayName: "ManyLinux ARM64 build"
+  variables:
+    name: ManyLinux
+    python: "/opt/python/cp37-cp37m/bin/python"
+  pool:
+    vmImage: "ubuntu-latest"
+  container: "quay.io/pypa/manylinux2014_x86_64:latest"
+  steps:
+  - script: curl -L -o /tmp/arm-toolchain.tar.xz 'https://developer.arm.com/-/media/Files/downloads/gnu/13.2.rel1/binrel/arm-gnu-toolchain-13.2.rel1-x86_64-aarch64-none-linux-gnu.tar.xz?rev=22c39fc25e5541818967b4ff5a09ef3e&hash=E7676169CE35FC2AAECF4C121E426083871CA6E5'
+  - script: mkdir -p /tmp/arm-toolchain/
+  - script: tar xf /tmp/arm-toolchain.tar.xz -C /tmp/arm-toolchain/ --strip-components=1
+  - script: echo '##vso[task.prependpath]/tmp/arm-toolchain/bin'
+  - script: echo $PATH
+  - script: stat /tmp/arm-toolchain/bin/aarch64-none-linux-gnu-gcc
+  - task: PythonScript@0
+    displayName: Build
+    inputs:
+      scriptSource: 'filepath'
+      scriptPath: scripts/mk_unix_dist.py
+      arguments: --nodotnet --nojava --arch=arm64
+      pythonInterpreter: $(python)
+  - script: git clone https://github.com/z3prover/z3test z3test
+    displayName: 'Clone z3test'
+  - task: PythonScript@0
+    displayName: Test
+    inputs:
+      scriptSource: 'filepath'
+      scriptPath: z3test/scripts/test_benchmarks.py
+      arguments: build-dist/z3 z3test/regressions/smt2
+      pythonInterpreter: $(python)
+  - task: CopyFiles@2
+    inputs:
+      sourceFolder: dist
+      contents: '*.zip'
+      targetFolder: $(Build.ArtifactStagingDirectory)
+  - task: PublishPipelineArtifact@0
+    inputs:
+      artifactName: 'ManyLinuxBuildArm64'
+      targetPath: $(Build.ArtifactStagingDirectory)
+
 - job: "Ubuntu20OCaml"
   displayName: "Ubuntu 20 with OCaml"
   pool:

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
@@ -203,12 +203,12 @@ stages:
       vmImage: "ubuntu-latest"
     container: "quay.io/pypa/manylinux2014_x86_64:latest"
     steps:
-    - script: yum install wget
-    - script: wget -q -O /tmp/arm-toolchain.tar.xz 'https://developer.arm.com/-/media/Files/downloads/gnu/13.2.rel1/binrel/arm-gnu-toolchain-13.2.rel1-x86_64-aarch64-none-linux-gnu.tar.xz?rev=22c39fc25e5541818967b4ff5a09ef3e&hash=E7676169CE35FC2AAECF4C121E426083871CA6E5'
-    - script: tar xf /tmp/arm-toolchain.tar.xz -C /arm-toolchain/ --strip-components=1
-    - script: echo '##vso[task.prependpath]/arm-toolchain/bin'
+    - script: curl -L -o /tmp/arm-toolchain.tar.xz 'https://developer.arm.com/-/media/Files/downloads/gnu/13.2.rel1/binrel/arm-gnu-toolchain-13.2.rel1-x86_64-aarch64-none-linux-gnu.tar.xz?rev=22c39fc25e5541818967b4ff5a09ef3e&hash=E7676169CE35FC2AAECF4C121E426083871CA6E5'
+    - script: mkdir -p /tmp/arm-toolchain/
+    - script: tar xf /tmp/arm-toolchain.tar.xz -C /tmp/arm-toolchain/ --strip-components=1
+    - script: echo '##vso[task.prependpath]/tmp/arm-toolchain/bin'
     - script: echo $PATH
-    - script: stat /arm-toolchain/bin/aarch64-none-linux-gnu-gcc
+    - script: stat /tmp/arm-toolchain/bin/aarch64-none-linux-gnu-gcc
     - task: PythonScript@0
       displayName: Build
       inputs: