From 7f1a49c8d55136a95f8cf9fecf0c946629845fa8 Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Sat, 17 Jul 2004 19:28:00 +0000
Subject: camlp4 maintenant intégré à ocaml
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5946 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/check-list | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'distrib/check-list')

diff --git a/distrib/check-list b/distrib/check-list
index a2a7107b2..c0e547062 100755
--- a/distrib/check-list
+++ b/distrib/check-list
@@ -88,10 +88,3 @@ fi
 #    echo "Wrong version of required Objective Caml in coq.spec ($ocamlversionspec)"
 #    echo Aborting; exit 1
 #  fi
-
-camlp4version=`grep "You need Camlp4 .* or later" $CONFIGFILE | sed -e 's/.*Camlp4 \(.*\) or later.*/\1/'`
-echo -n The configure file seems to require Camlp4 version $camlp4version ...
-echo -n " is that OK? "
-read a
-if [ "$a" != 'y' -a "$a" != 'Y' ]; then echo Aborting; exit 1; fi
-echo Check list completed
-- 
cgit v1.2.3