mirror of
				https://github.com/Z3Prover/z3
				synced 2025-11-04 05:19:11 +00:00 
			
		
		
		
	Add LinuxBuildsArm64 to python wheels in release
This commit is contained in:
		
							parent
							
								
									e873664fe8
								
							
						
					
					
						commit
						5bf6367ab1
					
				
					 1 changed files with 37 additions and 2 deletions
				
			
		| 
						 | 
				
			
			@ -199,6 +199,39 @@ stages:
 | 
			
		|||
        artifactName: 'ManyLinuxBuild'
 | 
			
		||||
        targetPath: $(Build.ArtifactStagingDirectory)
 | 
			
		||||
  
 | 
			
		||||
  - 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/11.2-2022.02/binrel/gcc-arm-11.2-2022.02-x86_64-aarch64-none-linux-gnu.tar.xz?rev=33c6e30e5ac64e6dba8f0431f2c35f1b&hash=9918A05BF47621B632C7A5C8D2BB438FB80A4480'
 | 
			
		||||
    - 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 '##vso[task.prependpath]/tmp/arm-toolchain/aarch64-none-linux-gnu/libc/usr/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)
 | 
			
		||||
    - task: CopyFiles@2
 | 
			
		||||
      inputs:
 | 
			
		||||
        sourceFolder: dist
 | 
			
		||||
        contents: '*.zip'
 | 
			
		||||
        targetFolder: $(Build.ArtifactStagingDirectory)
 | 
			
		||||
    - task: PublishPipelineArtifact@0
 | 
			
		||||
      inputs:
 | 
			
		||||
        artifactName: 'ManyLinuxBuildArm64'
 | 
			
		||||
        targetPath: $(Build.ArtifactStagingDirectory)
 | 
			
		||||
 | 
			
		||||
  - template: build-win-signed.yml
 | 
			
		||||
    parameters:
 | 
			
		||||
      ReleaseVersion: $(ReleaseVersion)
 | 
			
		||||
| 
						 | 
				
			
			@ -470,7 +503,8 @@ stages:
 | 
			
		|||
        path: $(Agent.TempDirectory)
 | 
			
		||||
    - 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 libc-x64-bin; cd libc-x64-bin; unzip ../*x64-glibc*.zip
 | 
			
		||||
    - script: cd $(Agent.TempDirectory); mkdir libc-arm64-bin; cd libc-arm64-bin; unzip ../*arm64-glibc*.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
 | 
			
		||||
| 
						 | 
				
			
			@ -478,7 +512,8 @@ stages:
 | 
			
		|||
    # 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)/osx-x64-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-arm64-bin/* | xargs printf 'PACKAGE_FROM_RELEASE=%s\n' | xargs -I '{}' env '{}' python3 setup.py bdist_wheel
 | 
			
		||||
    - 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)/libc-x64-bin/* | xargs printf 'PACKAGE_FROM_RELEASE=%s\n' | xargs -I '{}' env '{}' python3 setup.py bdist_wheel
 | 
			
		||||
    - script: cd src/api/python; echo $(Agent.TempDirectory)/libc-arm64-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
 | 
			
		||||
    - task: PublishPipelineArtifact@0
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue