From 3decaca622bd0005c861000529c9b006f1b6a7d7 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sun, 17 May 2020 13:23:03 +0200
Subject: [azure OSX] Export OCAMLPATH so test-suite sees OCaml libs

This is akin to what we do for Gitlab.
---
 azure-pipelines.yml | 2 ++
 1 file changed, 2 insertions(+)

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'
 
-- 
cgit v1.2.3