diff options
| author | coqbot-app[bot] | 2020-11-09 12:35:14 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-09 12:35:14 +0000 |
| commit | d2047c6368ae11a3a3fd7f2db8c991d135094e60 (patch) | |
| tree | 2daea7cd5ff57b752b22addb376ae2be44cf3b45 | |
| parent | 07472bc4526ba97b356c5bebee65d92719426f05 (diff) | |
| parent | 602af83f83cfce52c63e6123689126d50c49f30d (diff) | |
Merge PR #13310: Fix macOS CI on Azure.
Reviewed-by: SkySkimmer
| -rw-r--r-- | azure-pipelines.yml | 37 |
1 files changed, 15 insertions, 22 deletions
diff --git a/azure-pipelines.yml b/azure-pipelines.yml index 41b5210f45..46bd4367a7 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -62,16 +62,9 @@ jobs: - script: | set -e - brew update - (cd $(brew --repository)/Library/Taps/homebrew/homebrew-core/ && git fetch --shallow-since=${HBCORE_DATE} && git checkout ${HBCORE_REF}) - brew install gnu-time opam pkg-config gtksourceview3 adwaita-icon-theme gmp || true - # || true: workaround #12657, see also #12672 and commit message for this line + brew install gnu-time opam gtksourceview3 adwaita-icon-theme pip3 install macpack displayName: 'Install system dependencies' - env: - HOMEBREW_NO_AUTO_UPDATE: "1" - HBCORE_DATE: "2019-09-03" - HBCORE_REF: "44ee64cf4b9f2d2bf000758d356db0c77425e42e" - script: | set -e @@ -107,17 +100,17 @@ jobs: make install displayName: 'Install Coq' - - script: | - set -e - eval $(opam env) - export PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig - ./dev/build/osx/make-macos-dmg.sh - mv _build/*.dmg "$(Build.ArtifactStagingDirectory)/" - displayName: 'Create the dmg bundle' - env: - OUTDIR: '$(Build.BinariesDirectory)' - - - task: PublishBuildArtifacts@1 - inputs: - pathtoPublish: '$(Build.ArtifactStagingDirectory)' - artifactName: coq-macOS-installer +# - script: | +# set -e +# eval $(opam env) +# export PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig +# ./dev/build/osx/make-macos-dmg.sh +# mv _build/*.dmg "$(Build.ArtifactStagingDirectory)/" +# displayName: 'Create the dmg bundle' +# env: +# OUTDIR: '$(Build.BinariesDirectory)' + +# - task: PublishBuildArtifacts@1 +# inputs: +# pathtoPublish: '$(Build.ArtifactStagingDirectory)' +# artifactName: coq-macOS-installer |