- filter out autodeps on private interfaces
[packages/coq.git] / 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
This page took 0.033748 seconds and 3 git commands to generate.