From 9795bb93ad589b712ff8aee7d68463c5fe3ff9b5 Mon Sep 17 00:00:00 2001
From: pboutill
Date: Tue, 12 Jun 2012 13:10:24 +0000
Subject: New step in purpose to get both camlp4 and camlp5 compatible
 coq_makefiles

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15435 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/usage.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'toplevel')

diff --git a/toplevel/usage.ml b/toplevel/usage.ml
index b4add69ae5..dcf11354b4 100644
--- a/toplevel/usage.ml
+++ b/toplevel/usage.ml
@@ -99,6 +99,8 @@ let print_config () =
   Printf.printf "CAMLBIN=%s/\n" (Envars.camlbin ());
   Printf.printf "CAMLLIB=%s/\n" (Envars.camllib ());
   Printf.printf "CAMLP4=%s\n" Coq_config.camlp4;
+  Printf.printf "CAMLP4O=%s\n" Coq_config.camlp4o;
   Printf.printf "CAMLP4BIN=%s/\n" (Envars.camlp4bin ());
   Printf.printf "CAMLP4LIB=%s\n" (Envars.camlp4lib ());
+  Printf.printf "CAMLP4OPTIONS=%s\n" Coq_config.camlp4compat;
   Printf.printf "HASNATDYNLINK=%s\n" (if Coq_config.has_natdynlink then "true" else "false")
-- 
cgit v1.2.3