sci-mathematics/coq/files/coq-8.4_p1-camlp4.patch


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

Upstream rev 16121
https://bugs.gentoo.org/show_bug.cgi?id=450954

Index: coq-8.4pl1/scripts/coqmktop.ml
===================================================================
--- coq-8.4pl1.orig/scripts/coqmktop.ml
+++ coq-8.4pl1/scripts/coqmktop.ml
@@ -45,8 +45,7 @@ let camlp4topobjs =
     [ "Camlp4Top.cmo";
       "Camlp4Parsers/Camlp4OCamlRevisedParser.cmo";
       "Camlp4Parsers/Camlp4OCamlParser.cmo";
-      "Camlp4Parsers/Camlp4GrammarParser.cmo";
-      "q_util.cmo"; "q_coqast.cmo" ]
+      "Camlp4Parsers/Camlp4GrammarParser.cmo" ]
 let topobjs = camlp4topobjs
 
 let gramobjs = []