mirror of
				https://github.com/Z3Prover/z3
				synced 2025-11-03 21:09:11 +00:00 
			
		
		
		
	Update azure-pipelines.yml for Azure Pipelines
This commit is contained in:
		
							parent
							
								
									8f61659374
								
							
						
					
					
						commit
						8f70a274e5
					
				
					 1 changed files with 38 additions and 12 deletions
				
			
		| 
						 | 
				
			
			@ -1,19 +1,45 @@
 | 
			
		|||
pool:
 | 
			
		||||
  vmImage: "vs2017-win2016"
 | 
			
		||||
 | 
			
		||||
steps:
 | 
			
		||||
- task: DotNetCoreInstaller@0
 | 
			
		||||
  displayName: 'Use .NET Core sdk 2.1'
 | 
			
		||||
  inputs:
 | 
			
		||||
    version: 2.1.300
 | 
			
		||||
jobs:
 | 
			
		||||
 | 
			
		||||
- task: DownloadSecureFile@1
 | 
			
		||||
  inputs:
 | 
			
		||||
    secureFile: 'z3.snk'
 | 
			
		||||
- job: "Windows"
 | 
			
		||||
  displayName: "Windows build"
 | 
			
		||||
  pool:
 | 
			
		||||
    vmImage: "vs2017-win2016"
 | 
			
		||||
  steps:
 | 
			
		||||
    - task: DotNetCoreInstaller@0
 | 
			
		||||
      displayName: 'Use .NET Core sdk 2.1'
 | 
			
		||||
      inputs:
 | 
			
		||||
        version: 2.1.300
 | 
			
		||||
    - script: scripts\vsts-vs2017.cmd x64
 | 
			
		||||
    - script: scripts\vsts-vs2013.cmd
 | 
			
		||||
 | 
			
		||||
- job: "LinuxPython"
 | 
			
		||||
  displayName: "Ubuntu build - python make"
 | 
			
		||||
  pool:
 | 
			
		||||
    vmImage: "Ubuntu-16.04"
 | 
			
		||||
  steps:
 | 
			
		||||
    - task: DotNetCoreInstaller@0
 | 
			
		||||
      displayName: 'Use .NET Core sdk 2.1'
 | 
			
		||||
      inputs:
 | 
			
		||||
        version: 2.1.300
 | 
			
		||||
    # TBD add steps for building and testing
 | 
			
		||||
 | 
			
		||||
 | 
			
		||||
- job: "LinuxCMake"
 | 
			
		||||
  displayName: "Ubuntu build - cmake"
 | 
			
		||||
  pool:
 | 
			
		||||
    vmImage: "Ubuntu-16.04"
 | 
			
		||||
  steps:
 | 
			
		||||
    - task: DotNetCoreInstaller@0
 | 
			
		||||
      displayName: 'Use .NET Core sdk 2.1'
 | 
			
		||||
      inputs:
 | 
			
		||||
        version: 2.1.300
 | 
			
		||||
    # TBD add steps for building and testing
 | 
			
		||||
    # debug/release/asan/ubsan/
 | 
			
		||||
 | 
			
		||||
# TBD add job for Mac build/test 
 | 
			
		||||
 | 
			
		||||
- script: scripts\vsts-vs2017.cmd x64
 | 
			
		||||
 | 
			
		||||
- script: scripts\vsts-vs2013.cmd
 | 
			
		||||
 | 
			
		||||
 | 
			
		||||
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue