Merge from Lionel Elie Mamane's private branch:

 - Makefile: Option (environment variable NO_RECOMPILE_LIB) to not
   recompile the whole standard library just because the coq binaries
   got rebuilt.

 - Infrastructure to change the object pretty-printers at runtime.

 - Use that infrastructure to make coqtop-protocol with Pcoq trees and
   Pcoq-protocol with pretty-printed terms possible in coq-interface.

 - Make "Back(track)" into closed sections, modules and module types
   "Just Work™".

 - Modernise/generalise Pcoq protocol a bit, make some of its warts
   optional.

 - Implement "Show." in Pcoq mode.

 - Add Rpow_def.vo to REALSBASEVO so that its dependencies are
   computed (and used).

 - "make revision" now handles GNU Arch / tla in addition to svn.



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

1 files changed, 6 insertions, 3 deletions

diff --git a/configure b/configure
index 9b2bdb1bc..e059f4d30 100755
--- a/configure
+++ b/configure
@@ -260,10 +260,13 @@ case $ARCH in
     fi
 esac
 
-# Is the source tree checked out from svn ?
+# Is the source tree checked out from a recognised
+# version control system ?
 if test -e .svn/entries ; then 
-    checkedout=1
-else 
+    checkedout=svn
+elif [ -d '{arch}' ]; then
+    checkedout=gnuarch
+else
     checkedout=0
 fi