From cfd8a0f9416df5c1ce56e959c1bf6e1ca44bb55a Mon Sep 17 00:00:00 2001
From: Thierry Martinez <Thierry.Martinez@inria.fr>
Date: Wed, 22 Jul 2020 00:33:08 +0200
Subject: [PATCH] Eval opam env for Mac OS

---
 _distributions/macos.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/_distributions/macos.sh b/_distributions/macos.sh
index 9ce1e9d..7439e12 100755
--- a/_distributions/macos.sh
+++ b/_distributions/macos.sh
@@ -3,5 +3,6 @@ set -ex
 packages="`cat package_list`"
 opam switch remove --yes 4.10.0 || true
 opam switch create 4.10.0
+eval $(opam env)
 _distributions/init_opam_switch.sh
 opam depext --install --yes $packages
-- 
GitLab