diff options
| author | Vincent Laporte | 2019-04-02 13:32:11 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-04-15 12:17:41 +0000 |
| commit | 4c94ab5c4ba29334fa0d7586e68d1074c0c7a487 (patch) | |
| tree | f5fe50c386fad7f780d26c7d90ef653befbb5840 | |
| parent | e288b83845854ac79df0e2c1101d4fb2c5940f88 (diff) | |
[CI/Azure/macOS] Build CoqIDE
| -rw-r--r-- | azure-pipelines.yml | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/azure-pipelines.yml b/azure-pipelines.yml index 95385b7447..a234ee3355 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -49,16 +49,19 @@ jobs: - script: | set -e brew update - brew unlink python - brew install gnu-time opam + brew install gnu-time opam pkg-config gtksourceview3 + displayName: 'Install system dependencies' + - script: | + set -e + export PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig opam init -a -j "$NJOBS" --compiler=$COMPILER opam switch set $COMPILER eval $(opam env) opam update - opam install -j "$NJOBS" num ocamlfind${FINDLIB_VER} ounit + opam install -j "$NJOBS" num ocamlfind${FINDLIB_VER} ounit lablgtk3-sourceview3 opam list - displayName: 'Install dependencies' + displayName: 'Install OCaml dependencies' env: COMPILER: "4.07.1" FINDLIB_VER: ".1.8.0" @@ -68,7 +71,7 @@ jobs: set -e eval $(opam env) - ./configure -local -warn-error yes -native-compiler no + ./configure -local -warn-error yes -native-compiler no -coqide opt make -j "$NJOBS" displayName: 'Build Coq' |