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@}: The following libraries are missing \ in the %s context:\n\