Add -browser option to configure script

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

1 files changed, 22 insertions, 1 deletions

diff --git a/configure b/configure
index c27ff74d1e..6681c91b5f 100755
--- a/configure
+++ b/configure
@@ -25,7 +25,7 @@ done
 }
 
 usage () {
-    echo "Available options for configure are:\n"
+    printf "Available options for configure are:\n"
     echo "-help"
     printf "\tDisplays this help page\n"
     echo "-prefix <dir>"
@@ -59,6 +59,8 @@ usage () {
     printf "\tSpecifies whether or not to compile full FSets/Reals library\n"
     echo "-coqide (opt|byte|no)"
     printf "\tSpecifies whether or not to compile Coqide\n"
+    echo "-browser <command>"
+    printf "\tUse <command> to open URL %%s\n"
     echo "-with-doc (yes|no)"
     printf "\tSpecifies whether or not to compile the documentation\n"
     echo "-with-geoproof (yes|no)"
@@ -117,6 +119,7 @@ fsets=all
 reals=all
 arch_spec=no
 coqide_spec=no
+browser_spec=no
 with_geoproof=false
 with_doc=all
 with_doc_spec=no
@@ -189,6 +192,9 @@ while : ; do
 			  *) COQIDE=no
 		      esac
 		      shift;;
+    -browser|--browser) browser_spec=yes
+		      BROWSER=$2
+		      shift;;
     -with-doc|--with-doc) with_doc_spec=yes
 		      case "$2" in
 			  yes|all) with_doc=all;;
@@ -333,6 +339,15 @@ else
   echo "Cannot find GNU Make 3.81"
 fi
 
+# Browser command
+
+if [ "$browser_spec" = "no" ]; then
+    case $ARCH in
+        win32) BROWSER='C:\PROGRA~1\INTERN~1\IEXPLORE %s' ;;
+        *) BROWSER='firefox -remote "OpenURL(%s,new-tab)" || firefox %s &' ;;
+    esac
+fi
+
 #########################################
 # Objective Caml programs
 
@@ -783,6 +798,7 @@ else
 echo "  Documentation                     : None"
 fi
 echo "  CoqIde                            : $COQIDE"
+echo "  Web browser                       : $BROWSER"
 echo ""
 
 echo "  Paths for true installation:"
@@ -804,6 +820,10 @@ escape_var () {
 EOF
 }
 
+# Escaped version of browser command
+export BROWSER
+ESCBROWSER=`VAR=BROWSER escape_var`
+
 # damned backslashes under M$Windows
 case $ARCH in
     win32)
@@ -859,6 +879,7 @@ let vo_magic_number = $VOMAGIC
 let state_magic_number = $STATEMAGIC
 let exec_extension = "$EXE"
 let with_geoproof = ref $with_geoproof
+let browser = "$ESCBROWSER"
 
 END_OF_COQ_CONFIG