mirror of
https://github.com/Z3Prover/z3
synced 2025-08-02 09:20:22 +00:00
fix indent
This commit is contained in:
jofleish
parent
1ca2bed4ac
commit
b05575125c
1 changed files with 154 additions and 153 deletions
|
|
@ -37,6 +37,7 @@ stages:
|
||||||
inputs:
|
inputs:
|
||||||
artifactName: 'macOSBuild'
|
artifactName: 'macOSBuild'
|
||||||
targetPath: $(Build.ArtifactStagingDirectory)
|
targetPath: $(Build.ArtifactStagingDirectory)
|
||||||
|
|
||||||
- job: MacBuildArm64
|
- job: MacBuildArm64
|
||||||
displayName: "Mac ARM64 Build"
|
displayName: "Mac ARM64 Build"
|
||||||
pool:
|
pool:
|
||||||
|
|
@ -50,164 +51,164 @@ stages:
|
||||||
artifactName: 'MacArm64'
|
artifactName: 'MacArm64'
|
||||||
targetPath: $(Build.ArtifactStagingDirectory)
|
targetPath: $(Build.ArtifactStagingDirectory)
|
||||||
|
|
||||||
- job: UbuntuBuild
|
- job: UbuntuBuild
|
||||||
displayName: "Ubuntu build"
|
displayName: "Ubuntu build"
|
||||||
pool:
|
pool:
|
||||||
vmImage: "ubuntu-latest"
|
vmImage: "ubuntu-latest"
|
||||||
steps:
|
steps:
|
||||||
- task: PythonScript@0
|
- task: PythonScript@0
|
||||||
displayName: Build
|
displayName: Build
|
||||||
inputs:
|
inputs:
|
||||||
scriptSource: 'filepath'
|
scriptSource: 'filepath'
|
||||||
scriptPath: scripts/mk_unix_dist.py
|
scriptPath: scripts/mk_unix_dist.py
|
||||||
arguments: --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk
|
arguments: --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk
|
||||||
- script: git clone https://github.com/z3prover/z3test z3test
|
- script: git clone https://github.com/z3prover/z3test z3test
|
||||||
displayName: 'Clone z3test'
|
displayName: 'Clone z3test'
|
||||||
- task: PythonScript@0
|
- task: PythonScript@0
|
||||||
displayName: Test
|
displayName: Test
|
||||||
inputs:
|
inputs:
|
||||||
scriptSource: 'filepath'
|
scriptSource: 'filepath'
|
||||||
scriptPath: z3test/scripts/test_benchmarks.py
|
scriptPath: z3test/scripts/test_benchmarks.py
|
||||||
arguments: build-dist/z3 z3test/regressions/smt2
|
arguments: build-dist/z3 z3test/regressions/smt2
|
||||||
- task: CopyFiles@2
|
- task: CopyFiles@2
|
||||||
inputs:
|
inputs:
|
||||||
sourceFolder: dist
|
sourceFolder: dist
|
||||||
contents: '*.zip'
|
contents: '*.zip'
|
||||||
targetFolder: $(Build.ArtifactStagingDirectory)
|
targetFolder: $(Build.ArtifactStagingDirectory)
|
||||||
- task: PublishPipelineArtifact@0
|
- task: PublishPipelineArtifact@0
|
||||||
inputs:
|
inputs:
|
||||||
artifactName: 'UbuntuBuild'
|
artifactName: 'UbuntuBuild'
|
||||||
targetPath: $(Build.ArtifactStagingDirectory)
|
targetPath: $(Build.ArtifactStagingDirectory)
|
||||||
|
|
||||||
- job: UbuntuBuild20
|
- job: UbuntuBuild20
|
||||||
displayName: "Ubuntu build 20"
|
displayName: "Ubuntu build 20"
|
||||||
pool:
|
pool:
|
||||||
vmImage: "ubuntu-20.04"
|
vmImage: "ubuntu-20.04"
|
||||||
steps:
|
steps:
|
||||||
- task: PythonScript@0
|
- task: PythonScript@0
|
||||||
displayName: Build
|
displayName: Build
|
||||||
inputs:
|
inputs:
|
||||||
scriptSource: 'filepath'
|
scriptSource: 'filepath'
|
||||||
scriptPath: scripts/mk_unix_dist.py
|
scriptPath: scripts/mk_unix_dist.py
|
||||||
arguments: --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk
|
arguments: --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk
|
||||||
- script: git clone https://github.com/z3prover/z3test z3test
|
- script: git clone https://github.com/z3prover/z3test z3test
|
||||||
displayName: 'Clone z3test'
|
displayName: 'Clone z3test'
|
||||||
- task: PythonScript@0
|
- task: PythonScript@0
|
||||||
displayName: Test
|
displayName: Test
|
||||||
inputs:
|
inputs:
|
||||||
scriptSource: 'filepath'
|
scriptSource: 'filepath'
|
||||||
scriptPath: z3test/scripts/test_benchmarks.py
|
scriptPath: z3test/scripts/test_benchmarks.py
|
||||||
arguments: build-dist/z3 z3test/regressions/smt2
|
arguments: build-dist/z3 z3test/regressions/smt2
|
||||||
- task: CopyFiles@2
|
- task: CopyFiles@2
|
||||||
inputs:
|
inputs:
|
||||||
sourceFolder: dist
|
sourceFolder: dist
|
||||||
contents: '*.zip'
|
contents: '*.zip'
|
||||||
targetFolder: $(Build.ArtifactStagingDirectory)
|
targetFolder: $(Build.ArtifactStagingDirectory)
|
||||||
- task: PublishPipelineArtifact@0
|
- task: PublishPipelineArtifact@0
|
||||||
inputs:
|
inputs:
|
||||||
artifactName: 'UbuntuBuild20'
|
artifactName: 'UbuntuBuild20'
|
||||||
targetPath: $(Build.ArtifactStagingDirectory)
|
targetPath: $(Build.ArtifactStagingDirectory)
|
||||||
- job: UbuntuArm64
|
- job: UbuntuArm64
|
||||||
displayName: "Ubuntu ARM64 build"
|
displayName: "Ubuntu ARM64 build"
|
||||||
pool:
|
pool:
|
||||||
vmImage: "ubuntu-latest"
|
vmImage: "ubuntu-latest"
|
||||||
steps:
|
steps:
|
||||||
- script: python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk --arch=arm64
|
- script: python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk --arch=arm64
|
||||||
- script: git clone https://github.com/z3prover/z3test z3test
|
- script: git clone https://github.com/z3prover/z3test z3test
|
||||||
- script: python z3test/scripts/test_benchmarks.py build-dist/z3 z3test/regressions/smt2
|
- script: python z3test/scripts/test_benchmarks.py build-dist/z3 z3test/regressions/smt2
|
||||||
- script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/.
|
- script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/.
|
||||||
- task: PublishPipelineArtifact@0
|
- task: PublishPipelineArtifact@0
|
||||||
inputs:
|
inputs:
|
||||||
artifactName: 'UbuntuArm64'
|
artifactName: 'UbuntuArm64'
|
||||||
targetPath: $(Build.ArtifactStagingDirectory)
|
targetPath: $(Build.ArtifactStagingDirectory)
|
||||||
|
|
||||||
- job: UbuntuDoc
|
- job: UbuntuDoc
|
||||||
displayName: "Ubuntu Doc build"
|
displayName: "Ubuntu Doc build"
|
||||||
pool:
|
pool:
|
||||||
vmImage: "ubuntu-latest"
|
vmImage: "ubuntu-latest"
|
||||||
steps:
|
steps:
|
||||||
- script: pip3 install importlib-resources
|
- script: pip3 install importlib-resources
|
||||||
- script: sudo apt-get install ocaml opam libgmp-dev
|
- script: sudo apt-get install ocaml opam libgmp-dev
|
||||||
- script: opam init -y
|
- script: opam init -y
|
||||||
- script: eval `opam config env`; opam install zarith ocamlfind -y
|
- script: eval `opam config env`; opam install zarith ocamlfind -y
|
||||||
- script: eval `opam config env`; python scripts/mk_make.py --ml
|
- script: eval `opam config env`; python scripts/mk_make.py --ml
|
||||||
- script: sudo apt-get install doxygen
|
- script: sudo apt-get install doxygen
|
||||||
- script: sudo apt-get install graphviz
|
- script: sudo apt-get install graphviz
|
||||||
- script: |
|
- script: |
|
||||||
set -e
|
set -e
|
||||||
cd build
|
cd build
|
||||||
eval `opam config env`
|
eval `opam config env`
|
||||||
make -j3
|
make -j3
|
||||||
make -j3 examples
|
make -j3 examples
|
||||||
make -j3 test-z3
|
make -j3 test-z3
|
||||||
cd ..
|
cd ..
|
||||||
- script: |
|
- script: |
|
||||||
set -e
|
set -e
|
||||||
eval `opam config env`
|
eval `opam config env`
|
||||||
cd doc
|
cd doc
|
||||||
python3 mk_api_doc.py --mld --z3py-package-path=../build/python/z3
|
python3 mk_api_doc.py --mld --z3py-package-path=../build/python/z3
|
||||||
python3 mk_params_doc.py
|
python3 mk_params_doc.py
|
||||||
mkdir api/html/ml
|
mkdir api/html/ml
|
||||||
ocamldoc -html -d api/html/ml -sort -hide Z3 -I $( ocamlfind query zarith ) -I ../build/api/ml ../build/api/ml/z3enums.mli ../build/api/ml/z3.mli
|
ocamldoc -html -d api/html/ml -sort -hide Z3 -I $( ocamlfind query zarith ) -I ../build/api/ml ../build/api/ml/z3enums.mli ../build/api/ml/z3.mli
|
||||||
cd ..
|
cd ..
|
||||||
- script: zip -r z3doc.zip doc/api
|
- script: zip -r z3doc.zip doc/api
|
||||||
- script: cp z3doc.zip $(Build.ArtifactStagingDirectory)/.
|
- script: cp z3doc.zip $(Build.ArtifactStagingDirectory)/.
|
||||||
- task: PublishPipelineArtifact@0
|
- task: PublishPipelineArtifact@0
|
||||||
inputs:
|
inputs:
|
||||||
artifactName: 'UbuntuDoc'
|
artifactName: 'UbuntuDoc'
|
||||||
targetPath: $(Build.ArtifactStagingDirectory)
|
targetPath: $(Build.ArtifactStagingDirectory)
|
||||||
|
|
||||||
|
|
||||||
- job: LinuxBuilds
|
- job: LinuxBuilds
|
||||||
displayName: "ManyLinux build"
|
displayName: "ManyLinux build"
|
||||||
variables:
|
variables:
|
||||||
name: ManyLinux
|
name: ManyLinux
|
||||||
python: "/opt/python/cp37-cp37m/bin/python"
|
python: "/opt/python/cp37-cp37m/bin/python"
|
||||||
pool:
|
pool:
|
||||||
vmImage: "ubuntu-latest"
|
vmImage: "ubuntu-latest"
|
||||||
container: "quay.io/pypa/manylinux2014_x86_64:latest"
|
container: "quay.io/pypa/manylinux2014_x86_64:latest"
|
||||||
steps:
|
steps:
|
||||||
- task: PythonScript@0
|
- task: PythonScript@0
|
||||||
displayName: Build
|
displayName: Build
|
||||||
inputs:
|
inputs:
|
||||||
scriptSource: 'filepath'
|
scriptSource: 'filepath'
|
||||||
scriptPath: scripts/mk_unix_dist.py
|
scriptPath: scripts/mk_unix_dist.py
|
||||||
arguments: --nodotnet --nojava
|
arguments: --nodotnet --nojava
|
||||||
pythonInterpreter: $(python)
|
pythonInterpreter: $(python)
|
||||||
- script: git clone https://github.com/z3prover/z3test z3test
|
- script: git clone https://github.com/z3prover/z3test z3test
|
||||||
displayName: 'Clone z3test'
|
displayName: 'Clone z3test'
|
||||||
- task: PythonScript@0
|
- task: PythonScript@0
|
||||||
displayName: Test
|
displayName: Test
|
||||||
inputs:
|
inputs:
|
||||||
scriptSource: 'filepath'
|
scriptSource: 'filepath'
|
||||||
scriptPath: z3test/scripts/test_benchmarks.py
|
scriptPath: z3test/scripts/test_benchmarks.py
|
||||||
arguments: build-dist/z3 z3test/regressions/smt2
|
arguments: build-dist/z3 z3test/regressions/smt2
|
||||||
pythonInterpreter: $(python)
|
pythonInterpreter: $(python)
|
||||||
- task: CopyFiles@2
|
- task: CopyFiles@2
|
||||||
inputs:
|
inputs:
|
||||||
sourceFolder: dist
|
sourceFolder: dist
|
||||||
contents: '*.zip'
|
contents: '*.zip'
|
||||||
targetFolder: $(Build.ArtifactStagingDirectory)
|
targetFolder: $(Build.ArtifactStagingDirectory)
|
||||||
- task: PublishPipelineArtifact@0
|
- task: PublishPipelineArtifact@0
|
||||||
inputs:
|
inputs:
|
||||||
artifactName: 'ManyLinuxBuild'
|
artifactName: 'ManyLinuxBuild'
|
||||||
targetPath: $(Build.ArtifactStagingDirectory)
|
targetPath: $(Build.ArtifactStagingDirectory)
|
||||||
|
|
||||||
- template: build-win-signed.yml
|
- template: build-win-signed.yml
|
||||||
parameters:
|
parameters:
|
||||||
ReleaseVersion: $(ReleaseVersion)
|
ReleaseVersion: $(ReleaseVersion)
|
||||||
BuildArchitecture: 'x64'
|
BuildArchitecture: 'x64'
|
||||||
|
|
||||||
- template: build-win-signed.yml
|
- template: build-win-signed.yml
|
||||||
parameters:
|
parameters:
|
||||||
ReleaseVersion: $(ReleaseVersion)
|
ReleaseVersion: $(ReleaseVersion)
|
||||||
BuildArchitecture: 'x86'
|
BuildArchitecture: 'x86'
|
||||||
|
|
||||||
- template: build-win-signed-cmake.yml
|
- template: build-win-signed-cmake.yml
|
||||||
parameters:
|
parameters:
|
||||||
ReleaseVersion: $(ReleaseVersion)
|
ReleaseVersion: $(ReleaseVersion)
|
||||||
BuildArchitecture: 'arm64'
|
BuildArchitecture: 'arm64'
|
||||||
VCArchitecture: 'amd64_arm64'
|
VCArchitecture: 'amd64_arm64'
|
||||||
|
|
||||||
- stage: Package
|
- stage: Package
|
||||||
jobs:
|
jobs:
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue