]>
Commit | Line | Data |
---|---|---|
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 |