diff options
| author | Emilio Jesus Gallego Arias | 2020-05-17 13:23:03 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-05-18 14:07:12 +0200 |
| commit | 3decaca622bd0005c861000529c9b006f1b6a7d7 (patch) | |
| tree | 0a02eeb75c91511d173939bb95844ce48b944f6e | |
| parent | 7da245bd2db7496628645a43965e5df966234fd5 (diff) | |
[azure OSX] Export OCAMLPATH so test-suite sees OCaml libs
This is akin to what we do for Gitlab.
| -rw-r--r-- | azure-pipelines.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/azure-pipelines.yml b/azure-pipelines.yml index e76614a0cf..305c6a627e 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -56,6 +56,7 @@ jobs: MACOSX_DEPLOYMENT_TARGET: '10.11' steps: + - checkout: self fetchDepth: 10 @@ -97,6 +98,7 @@ jobs: - script: | eval $(opam env) + export OCAMLPATH=$(pwd):"$OCAMLPATH" make -j "$NJOBS" test-suite PRINT_LOGS=1 displayName: 'Run Coq Test Suite' |