1 --- coq-8.6/configure.ml~ 2016-12-08 15:13:52.000000000 +0000
2 +++ coq-8.6/configure.ml 2017-06-05 23:04:32.311195087 +0000
4 yell (sprintf "No such directory '%s' (%s)." dir msg)
5 else if not (Sys.file_exists (dir/"gSourceView2.cmi")) then
6 yell (sprintf "Incomplete LablGtk2 (%s): no %s/gSourceView2.cmi." msg dir)
7 - else if not (Sys.file_exists (dir/"glib.mli")) then
8 - yell (sprintf "Incomplete LablGtk2 (%s): no %s/glib.mli." msg dir)
9 + else if not (Sys.file_exists (dir/"glib.cmi")) then
10 + yell (sprintf "Incomplete LablGtk2 (%s): no %s/glib.cmi." msg dir)
13 (** Detect and/or verify the Lablgtk2 location *)
18 - let test = sprintf "grep -q -w %s %S/glib.mli" f dir in
19 + let test = sprintf "grep -q -w %s %S/glib.cmi" f dir in