Simpler configure: gcc via ocamlc, no ranlib (done by ocamlmklib)

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

1 files changed, 0 insertions, 25 deletions

diff --git a/configure b/configure
index 3db167273..532d0f9bf 100755
--- a/configure
+++ b/configure
@@ -81,10 +81,6 @@ usage () {
     printf "\tSpecifies whether or not to compile the documentation\n"
     echo "-with-geoproof (yes|no)"
     printf "\tSpecifies whether or not to use Geoproof binding\n"
-    echo "-with-cc <file>"
-    echo "-with-ar <file>"
-    echo "-with-ranlib <file>"
-    printf "\tTells configure where to find gcc/ar/ranlib executables\n"
     echo "-byte-only"
     printf "\tCompiles only bytecode version of Coq\n"
     echo "-debug"
@@ -123,10 +119,6 @@ best_compiler=opt
 cflags="-fno-defer-pop -Wall -Wno-unused"
 natdynlink=yes
 
-gcc_exec=gcc
-ar_exec=ar
-ranlib_exec=ranlib
-
 local=false
 coqrunbyteflags_spec=no
 coqtoolsbyteflags_spec=no
@@ -258,18 +250,6 @@ while : ; do
 	      no) with_geoproof=false;;
 	  esac
 	  shift;;
-    -with-cc|-with-gcc|--with-cc|--with-gcc) 
-	  gcc_spec=yes
-	  gcc_exec=$2
-	  shift;;
-    -with-ar|--with-ar) 
-	  ar_spec=yes
-	  ar_exec=$2
-	  shift;;
-    -with-ranlib|--with-ranlib) 
-	  ranlib_spec=yes
-	  ranlib_exec=$2
-	  shift;;
     -makecmd|--makecmd) makecmd="$2"
 		      shift;;
     -byte-only|-byteonly|--byteonly|--byte-only) best_compiler=byte;;
@@ -1238,11 +1218,6 @@ BEST=$best_compiler
 ARCH=$ARCH
 HASNATDYNLINK=$NATDYNLINKFLAG
 
-# Your C compiler and co
-CC="$gcc_exec"
-AR="$ar_exec"
-RANLIB="$ranlib_exec"
-
 # Supplementary libs for some systems, currently:
 #  . Sun Solaris: -cclib -lunix -cclib -lnsl -cclib -lsocket
 #  . others     : -cclib -lunix