From 241f1204cb52e039d26fb6bfb0163edcf9f7c13c Mon Sep 17 00:00:00 2001
From: Jeremie Dimino <jdimino@janestreet.com>
Date: Fri, 9 Jun 2017 15:18:27 +0100
Subject: [PATCH] Really fix #137

---
 bin/main.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/bin/main.ml b/bin/main.ml
index bdfd5000..eff34be4 100644
--- a/bin/main.ml
+++ b/bin/main.ml
@@ -533,7 +533,8 @@ let external_lib_deps =
                in
                if String_map.is_empty missing then
                  acc
-               else if String_map.is_empty missing then begin
+               else if String_map.for_all missing ~f:(fun _ kind -> kind = Build.Optional)
+               then begin
                  Format.eprintf
                    "@{<error>Error@}: The following libraries are missing \
                     in the %s context:\n\