|
 |
7168e08 |
--- ./scripts/coqmktop.ml.orig 2011-11-06 04:59:10.000000000 -0700
|
|
|
7168e08 |
+++ ./scripts/coqmktop.ml 2012-06-13 17:18:45.386268250 -0600
|
|
|
7168e08 |
@@ -33,7 +33,7 @@ let ide = split_list Tolink.ide
|
|
|
7168e08 |
(* 3. Toplevel objects *)
|
|
|
7168e08 |
let camlp4topobjs =
|
|
|
7168e08 |
if Coq_config.camlp4 = "camlp5" then
|
|
|
7168e08 |
- ["camlp5_top.cma"; "pa_o.cmo"; "pa_extend.cmo"]
|
|
|
7168e08 |
+ ["camlp5_top.cma"; "camlp5o.cma"; "pa_o.cmo"; "pa_extend.cmo"]
|
|
|
7168e08 |
else
|
|
|
7168e08 |
["camlp4_top.cma"; "pa_o.cmo"; "pa_op.cmo"; "pa_extend.cmo"]
|
|
|
7168e08 |
let topobjs = camlp4topobjs
|