Imported Upstream version 8.2.pl1+dfsgupstream/8.2.pl1+dfsg

1 files changed, 17 insertions, 5 deletions

diff --git a/configure b/configure
index c8508f52..1ba4eaba 100755
--- a/configure
+++ b/configure
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 ##################################
 #
@@ -6,8 +6,8 @@
 # 
 ##################################
 
-VERSION=8.2
-VOMAGIC=08200 
+VERSION=8.2pl1
+VOMAGIC=08200
 STATEMAGIC=58200
 DATE=`LANG=C date +"%B %Y"`
 
@@ -133,6 +133,7 @@ reals=all
 arch_spec=no
 coqide_spec=no
 browser_spec=no
+wwwcoq_spec=no
 with_geoproof=false
 with_doc=all
 with_doc_spec=no
@@ -216,6 +217,9 @@ while : ; do
     -browser|--browser) browser_spec=yes
 		      BROWSER=$2
 		      shift;;
+    -coqwebsite|--coqwebsite) wwwcoq_spec=yes
+                      WWWCOQ=$2
+                      shift;;
     -with-doc|--with-doc) with_doc_spec=yes
 		      case "$2" in
 			  yes|all) with_doc=all;;
@@ -285,7 +289,7 @@ case $arch_spec in
  	    ARCH=`/usr/bin/uname -s`
 	else
 	    echo "I can not automatically find the name of your architecture"
-	    echo -n\
+	    printf "%s"\
 		"Give me a name, please [win32 for Win95, Win98 or WinNT]: "
 	    read ARCH
 	fi
@@ -358,6 +362,10 @@ if [ "$browser_spec" = "no" ]; then
     esac
 fi
 
+if [ "$wwwcoq_spec" = "no" ]; then
+    WWWCOQ="http://www.lix.polytechnique.fr/coq/"
+fi
+
 #########################################
 # Objective Caml programs
 
@@ -853,6 +861,7 @@ echo "  Documentation                     : None"
 fi
 echo "  CoqIde                            : $COQIDE"
 echo "  Web browser                       : $BROWSER"
+echo "  Coq web site                      : $WWWCOQ"
 echo ""
 
 echo "  Paths for true installation:"
@@ -944,6 +953,9 @@ let state_magic_number = $STATEMAGIC
 let exec_extension = "$EXE"
 let with_geoproof = ref $with_geoproof
 let browser = "$ESCBROWSER"
+let wwwcoq = "$WWWCOQ"
+let wwwrefman = wwwcoq ^ "distrib/" ^ version ^ "/refman/"
+let wwwstdlib = wwwcoq ^ "distrib/" ^ version ^ "/stdlib/"
 
 END_OF_COQ_CONFIG
 
@@ -1068,4 +1080,4 @@ echo
 echo "*Warning* To compile the system for a new architecture"
 echo "          don't forget to do a 'make archclean' before './configure'."
 
-# $Id: configure 11934 2009-02-17 15:58:54Z notin $
+# $Id: configure 12219 2009-07-01 09:58:00Z notin $