From 907c5df7bad31404e9f4a8384e4cc43236e4ba9a Mon Sep 17 00:00:00 2001
From: letouzey
Date: Thu, 20 Sep 2012 17:25:22 +0000
Subject: Avoid generating ide/coqide_main*.ml as cleartext (except if
 READABLE_ML4 is used)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15824 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.build | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile.build b/Makefile.build
index bea461131c..a3c706e4b4 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -743,11 +743,11 @@ toplevel/mltop.optml: toplevel/mltop.ml4 config/Makefile # no camlp4deps here
 
 ide/coqide_main.ml: ide/coqide_main.ml4
 	$(SHOW)'CAMLP4O   $<'
-	$(HIDE)$(CAMLP4O) $(CAMLP4USE) -impl $< -o $@
+	$(HIDE)$(CAMLP4O) $(PR_O) $(CAMLP4USE) -impl $< -o $@
 
 ide/coqide_main_opt.ml: ide/coqide_main.ml4 config/Makefile # no camlp4deps here
 	$(SHOW)'CAMLP4O   $<'
-	$(HIDE)$(CAMLP4O) $(CAMLP4USE) -D$(IDEOPTINT) -impl $< -o $@
+	$(HIDE)$(CAMLP4O) $(PR_O) $(CAMLP4USE) -D$(IDEOPTINT) -impl $< -o $@
 
 
 # pretty printing of the revision number when compiling a checked out
-- 
cgit v1.2.3