- up to 8.6
[packages/coq.git] / coq-lablgtk2.patch
CommitLineData
6b871b2b
JR
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
7b0a1b97 12
6b871b2b
JR
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.039998 seconds and 4 git commands to generate.