- fixed the Assert_failure error in kernel/modops

- fixed the problem with passing atomic tactics to ltacs
- restructured the distrib Makefile (can build a package from
  the CVS working dir)


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5358 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 6 insertions, 6 deletions

diff --git a/distrib/check-list b/distrib/check-list
index 8e277fef5..be39bc665 100755
--- a/distrib/check-list
+++ b/distrib/check-list
@@ -11,7 +11,7 @@ COQPACKAGE=coq-$VERSION
 CONFIGFILE=$COQPACKAGE/configure
 
 version=`grep "^VERSION=" $CONFIGFILE | sed -e 's/^VERSION=\(.*\)/\1/'`
-versionsi=`grep "^VERSIONSI=" $CONFIGFILE | sed -e 's/^VERSIONSI=\(.*\)/\1/'`
+#versionsi=`grep "^VERSIONSI=" $CONFIGFILE | sed -e 's/^VERSIONSI=\(.*\)/\1/'`
 coqdate=`grep "^DATE=" $CONFIGFILE | sed -e 's/^DATE=\(.*\)/\1/'`
 
 echo "According to the configure file of the archive to be released"
@@ -24,9 +24,9 @@ echo "Comparing datas with expected ones"
 if [ ! "$version" = "$VERSION" ]; then
 	 echo "Inconsistent version number";exit
 fi
-if [ ! "$versionsi" = "$VERSIONSI" ]; then
-	echo "Inconsistent SearchIsos version number";exit
-fi
+#if [ ! "$versionsi" = "$VERSIONSI" ]; then
+#	echo "Inconsistent SearchIsos version number";exit
+#fi
 if [ ! "$date" = "$DATE" ]; then
 	echo "Inconsistent date release";exit
 fi
@@ -75,8 +75,8 @@ echo -n " is that OK? "
 read a
 if [ "$a" != 'y' -a "$a" != 'Y' ]; then echo Aborting; exit 1; fi
 
-versionspec1=`grep "^Version: " ./RH/coq.spec.tpl | sed -e 's!^Version: \(.*\)!\1!'`
-versionspec2=`grep "^Source: " ./RH/coq.spec.tpl | sed -e 's!.*coq-\(.*\)\.tar\.gz.*!\1!'`
+versionspec1=`sed -n -e 's!^Version: \(.*\)!\1!p' ./RH/coq.spec`
+versionspec2=`sed -n -e 's!.*coq-\(.*\)\.tar\.gz.*!\1!' ./RH/coq.spec`
 if [ "$versionspec1" = "$version" -a "$versionspec2" = "$version" ];
 then echo "Version number in coq.spec seems OK ($versionspec1)";
 else