moved magic numbers to configure (share coq/coqchk)

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

1 files changed, 4 insertions, 1 deletions

diff --git a/configure b/configure
index adbea24939..c27ff74d1e 100755
--- a/configure
+++ b/configure
@@ -7,6 +7,8 @@
 ##################################
 
 VERSION=trunk
+VOMAGIC=08193 
+STATEMAGIC=19764
 DATE="Jun. 2008"
 
 # a local which command for sh
@@ -851,9 +853,10 @@ let best = "$best_compiler"
 let arch = "$ARCH"
 let osdeplibs = "$OSDEPLIBS"
 let version = "$VERSION"
-let versionsi = "$VERSIONSI"
 let date = "$DATE"
 let compile_date = "$COMPILEDATE"
+let vo_magic_number = $VOMAGIC
+let state_magic_number = $STATEMAGIC
 let exec_extension = "$EXE"
 let with_geoproof = ref $with_geoproof