diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 24a7ae1c6..960aaa1cc 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -312,6 +312,7 @@ jobs:
     - script: |
         set -e
         cd build
+        eval `opam config env`
         make -j3
         make -j3 examples
         make -j3 test-z3