From aa151dbc7aa501bac78b835a80f9a25c5316d2dc Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 8 Nov 2018 03:11:06 +0100
Subject: [camlp5] Remove dependency on camlp5.

---
 config/coq_config.mli | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'config')

diff --git a/config/coq_config.mli b/config/coq_config.mli
index 22d8c49fd1..33acceb1f0 100644
--- a/config/coq_config.mli
+++ b/config/coq_config.mli
@@ -25,11 +25,6 @@ val docdirsuffix : string    (* doc directory relative to installation prefix *)
 
 val ocamlfind : string
 
-val camlp5o : string    (* name of the camlp5o executable *)
-val camlp5bin : string  (* base directory for camlp5 binaries *)
-val camlp5lib : string  (* where is the library of camlp5 *)
-val camlp5compat : string (* compatibility argument to camlp5 *)
-
 val caml_flags : string     (* arguments passed to ocamlc (ie. CAMLFLAGS) *)
 
 val arch : string       (* architecture *)
-- 
cgit v1.2.3