diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 4bf873e96..2438d0f03 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -89,7 +89,6 @@ stages: - job: LinuxBuild variables: python: "/opt/python/cp37-cp37m/bin/python" - image: "quay.io/pypa/manylinux2010_x86_64:latest" name: Linux displayName: "ManyLinux build" pool: @@ -105,6 +104,24 @@ stages: artifactName: '$(name)Build' targetPath: $(Build.ArtifactStagingDirectory) + - job: MuslLinuxBuild + variables: + python: "/opt/python/cp310-cp310/bin/python" + name: MuslLinux + displayName: "MuslLinux build" + pool: + vmImage: "Ubuntu-18.04" + container: "quay.io/pypa/musllinux_1_1_x86_64:latest" + steps: + - script: $(python) scripts/mk_unix_dist.py --nodotnet --nojava + - 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)/ + - task: PublishPipelineArtifact@0 + inputs: + artifactName: '$(name)Build' + targetPath: $(Build.ArtifactStagingDirectory) + - job: Windows32 displayName: "Windows 32-bit build" pool: @@ -397,11 +414,11 @@ stages: inputs: artifactName: 'Manylinux' targetPath: $(Agent.TempDirectory) -# - task: DownloadPipelineArtifact@2 -# displayName: 'Download MuslLinux Build' -# inputs: -# artifact: 'MuslLinuxBuild' -# path: $(Agent.TempDirectory) + - task: DownloadPipelineArtifact@2 + displayName: 'Download MuslLinux Build' + inputs: + artifact: 'MuslLinuxBuild' + path: $(Agent.TempDirectory) - task: DownloadPipelineArtifact@2 inputs: artifactName: 'Mac' @@ -413,14 +430,14 @@ stages: - script: cd $(Agent.TempDirectory); mkdir osx-x64-bin; cd osx-x64-bin; unzip ../*x64-osx*.zip - script: cd $(Agent.TempDirectory); mkdir osx-arm64-bin; cd osx-arm64-bin; unzip ../*arm64-osx*.zip - script: cd $(Agent.TempDirectory); mkdir libc-bin; cd libc-bin; unzip ../*glibc*.zip -# - script: cd $(Agent.TempDirectory); mkdir musl-bin; cd musl-bin; unzip ../*-linux.zip + - script: cd $(Agent.TempDirectory); mkdir musl-bin; cd musl-bin; unzip ../*-linux.zip - script: cd $(Agent.TempDirectory); mkdir win32-bin; cd win32-bin; unzip ../*x86-win*.zip - script: cd $(Agent.TempDirectory); mkdir win64-bin; cd win64-bin; unzip ../*x64-win*.zip - script: python3 -m pip install --user -U setuptools wheel - script: cd src/api/python; python3 setup.py sdist # take a look at this PREMIUM HACK I came up with to get around the fact that the azure variable syntax overloads the bash syntax for subshells - script: cd src/api/python; echo $(Agent.TempDirectory)/libc-bin/* | xargs printf 'PACKAGE_FROM_RELEASE=%s\n' | xargs -I '{}' env '{}' python3 setup.py bdist_wheel -# - script: cd src/api/python; echo $(Agent.TempDirectory)/musl-bin/* | xargs printf 'PACKAGE_FROM_RELEASE=%s\n' | xargs -I '{}' env '{}' python3 setup.py bdist_wheel + - script: cd src/api/python; echo $(Agent.TempDirectory)/musl-bin/* | xargs printf 'PACKAGE_FROM_RELEASE=%s\n' | xargs -I '{}' env '{}' python3 setup.py bdist_wheel - script: cd src/api/python; echo $(Agent.TempDirectory)/win32-bin/* | xargs printf 'PACKAGE_FROM_RELEASE=%s\n' | xargs -I '{}' env '{}' python3 setup.py bdist_wheel - script: cd src/api/python; echo $(Agent.TempDirectory)/win64-bin/* | xargs printf 'PACKAGE_FROM_RELEASE=%s\n' | xargs -I '{}' env '{}' python3 setup.py bdist_wheel - script: cd src/api/python; echo $(Agent.TempDirectory)/osx-x64-bin/* | xargs printf 'PACKAGE_FROM_RELEASE=%s\n' | xargs -I '{}' env '{}' python3 setup.py bdist_wheel