Improve errors for ${lib:...}

This commit is contained in:
Jeremie Dimino 2017-03-15 09:46:42 +00:00
parent 2a5dc053fb
commit ec6b89ea11
1 changed files with 4 additions and 3 deletions

View File

@ -87,7 +87,8 @@ let file_of_lib ?(use_provides=false) t ~from ~lib ~file =
| None -> | None ->
Error Error
{ fail = fun () -> { fail = fun () ->
die ignore (Findlib.find_exn t.context.findlib lib
"Library %s not found in the tree or in the installed world" ~required_by:[Utils.jbuild_name_in ~dir:from]
lib : Findlib.package);
assert false
} }