From ca3bc1725eac3b17fe26be50ea506318d5983984 Mon Sep 17 00:00:00 2001
From: filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Mon, 19 May 2003 10:56:47 +0000
Subject: configure et make install s'occupent de CoqIde tout seuls

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4029 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 config/Makefile.template | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'config')

diff --git a/config/Makefile.template b/config/Makefile.template
index bd7bd09d3..a4242ae0e 100644
--- a/config/Makefile.template
+++ b/config/Makefile.template
@@ -94,5 +94,8 @@ STRIP=STRIPCOMMAND
 # Options for reals (all/basic)
 REALS=REALSOPT
 
+# CoqIde (no/byte/opt)
+HASCOQIDE=COQIDEOPT
+
 # make or sed are bogus and believe lines not terminating by a return
 # are inexistent
-- 
cgit v1.2.3