diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 24277d32f..875fe274c 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -45,6 +45,7 @@ jobs:
     - script: |
         set -e
         cd build
+        eval `opam env` 
         make -j3
         make -j3 examples
         make -j3 test-z3