1 files changed, 99 insertions, 0 deletions
diff --git a/distrib/check-list b/distrib/check-list
new file mode 100755
index 000000000..6f2298748
--- /dev/null
+++ b/distrib/check-list
@@ -0,0 +1,99 @@
+#!/bin/sh
+
+. ./config.distrib
+
+echo
+echo The Coq Check List
+echo ------------------
+echo
+
+COQPACKAGE=coq-$VERSION
+CONFIGFILE=$COQPACKAGE/configure
+
+version=`grep "^VERSION=" $CONFIGFILE | sed -e 's/^VERSION=\(.*\)/\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"
+echo "  The release version is V$version"
+echo "  The SearchIsos release version is V$versionsi"
+echo "  The date is $coqdate"
+echo
+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 [ ! "$date" = "$DATE" ]; then
+	echo "Inconsistent date release";exit
+fi
+
+echo "Please answer y or n to questions"
+
+if grep $version $COQPACKAGE/src/meta/library.ml > /dev/null; then
+  echo "Found a reference to $version in library.ml..."
+  echo "   ... I guess the magic numbers have been changed"
+else
+  echo 'Found no trace that the magic numbers are changed in library.ml'
+  echo -n 'Is it still OK? '
+  read a
+  if [ "$a" != 'y' -a "$a" != 'Y' ]; then echo Aborting; exit 1; fi
+fi
+
+readmeversion=`grep "THE COQ .* SYSTEM" $COQPACKAGE/README | sed -e 's/.*THE COQ \(.*\) SYSTEM.*/\1/'`
+if [ "$readmeversion" = "" ]
+then echo "Failed to find version number in README; please check by hand"
+else
+  echo -n The README file seems to mention version number $readmeversion ...
+  if [ $readmeversion = V$version ]
+  then echo " it seems OK"
+  else echo -n " is that really OK? "
+     read a
+     if [ "$a" != 'y' -a "$a" != 'Y' ]; then echo Aborting; exit 1; fi
+  fi
+fi
+
+readmewinversion=`grep "THE COQ .* SYSTEM" $COQPACKAGE/README.win | sed -e 's/.*THE COQ \(.*\) SYSTEM.*/\1/'`
+if [ "$readmewinversion" = "" ]
+then echo "Failed to find version number in README.win; please check by hand"
+else
+  echo -n The README.win file seems to mention version number $readmewinversion ...
+  if [ $readmewinversion = V$version ]
+  then echo " it seems OK"
+  else echo -n " is that really OK? "
+     read a
+     if [ "$a" != 'y' -a "$a" != 'Y' ]; then echo Aborting; exit 1; fi
+  fi
+fi
+
+ocamlversion=`grep "You need Objective-Caml .* or later" $CONFIGFILE | sed -e 's/.*Objective-Caml \(.*\) or later.*/\1/'`
+echo -n The configure file seems to require O\'Caml version $ocamlversion ...
+echo -n " is that OK? "
+read a
+if [ "$a" != 'y' -a "$a" != 'Y' ]; then echo Aborting; exit 1; fi
+
+versionspec1=`grep "^Version: " ./coq.spec | sed -e 's!^Version: \(.*\)!\1!'`
+versionspec2=`grep "^Source: " ./coq.spec | sed -e 's!.*coq-\(.*\)\.tar\.gz.*!\1!'`
+if [ "$versionspec1" = "$version" -a "$versionspec2" = "$version" ];
+then echo "Version number in coq.spec seems OK ($versionspec1)";
+else
+  echo "Wrong version numbers in coq.spec ($versionspec1 and $versionspec2)"
+  echo Aborting; exit 1
+fi
+#  ocamlversionspec=`grep "^Requires: ocaml" ./coq.spec | sed -e 's/Requires: ocaml >= \(.*\)/\1/'`
+#  if [ "$ocamlversionspec" = "$ocamlversion" ]
+#  then echo "Required version of Objective Caml in coq.spec seems OK ($ocamlversionspec)"
+#  else
+#    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