coq-lablgtk2.patch

   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
   3 @@ -669,8 +669,8 @@
   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)
  11    else true
  12
  13  (** Detect and/or verify the Lablgtk2 location *)
  14 @@ -701,7 +701,7 @@
  15  | Manual | Stdlib ->
  16    let test accu f =
  17      if accu then
  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
  20        Sys.command test = 0
  21      else false
  22    in