Really fix #137
This commit is contained in:
parent
fff5763a53
commit
241f1204cb
|
@ -533,7 +533,8 @@ let external_lib_deps =
|
||||||
in
|
in
|
||||||
if String_map.is_empty missing then
|
if String_map.is_empty missing then
|
||||||
acc
|
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
|
Format.eprintf
|
||||||
"@{<error>Error@}: The following libraries are missing \
|
"@{<error>Error@}: The following libraries are missing \
|
||||||
in the %s context:\n\
|
in the %s context:\n\
|
||||||
|
|
Loading…
Reference in New Issue