From 9357c27e172f28cb47d96ca760d63d51b38d689a Mon Sep 17 00:00:00 2001
From: Tim Cuthbertson <tim@gfxmonk.net>
Date: Wed, 8 Feb 2017 21:50:45 +1100
Subject: [PATCH] discover: Print more information on failure

---
 src/util/discover.ml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/src/util/discover.ml b/src/util/discover.ml
index a33029649c..2acc5cfad2 100644
--- a/src/util/discover.ml
+++ b/src/util/discover.ml
@@ -538,6 +538,18 @@ let () =
              safe_remove (Filename.chop_extension !caml_file ^ ".cmi");
              safe_remove (Filename.chop_extension !caml_file ^ ".cmo"));
 
+  let exit status =
+    if status <> 0 then begin
+      if !debug then printf "
+See %s for more details.
+      " !log_file
+      else printf "
+Run with DEBUG=y for more details.
+      ";
+    end;
+    exit status
+  in
+
   let setup_data = ref [] in
 
   (* Test for pkg-config. *)