From 3206760263873e0dd2553ccf73632461eabfdcc6 Mon Sep 17 00:00:00 2001
From: barras
Date: Thu, 24 Jul 2008 16:27:09 +0000
Subject: 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
---
 configure | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'configure')

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
 
-- 
cgit v1.2.3