From ec6b89ea1104a5bddf289bb214657e9dee25463d Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Wed, 15 Mar 2017 09:46:42 +0000 Subject: [PATCH] Improve errors for ${lib:...} --- src/artifacts.ml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/artifacts.ml b/src/artifacts.ml index 6d67757e..1e0c467b 100644 --- a/src/artifacts.ml +++ b/src/artifacts.ml @@ -87,7 +87,8 @@ let file_of_lib ?(use_provides=false) t ~from ~lib ~file = | None -> Error { fail = fun () -> - die - "Library %s not found in the tree or in the installed world" - lib + ignore (Findlib.find_exn t.context.findlib lib + ~required_by:[Utils.jbuild_name_in ~dir:from] + : Findlib.package); + assert false }