--- configure.orig	2015-04-27 08:51:24 UTC
+++ configure
@@ -599,8 +599,6 @@ OCAML_PKG_re_emacs
 OCAML_PKG_re
 OCAML_PKG_extlib
 OCAML_PKG_unix
-fetch
-FETCH
 OCAMLFIND
 OCAMLYACC
 OCAMLLEXDOTOPT
@@ -671,7 +669,6 @@ ac_subst_files=''
 ac_user_opts='
 enable_option_checking
 enable_version_check
-enable_certificate_check
 '
       ac_precious_vars='build_alias
 host_alias
@@ -1292,10 +1289,6 @@ Optional Features:
   --enable-FEATURE[=ARG]  include FEATURE [ARG=yes]
   --disable-version-check Do not check OCaml version
 
-  --disable-certificate-check
-                          Do not check the certificate of OPAM's dependency
-                          archives
-
 
 Some influential environment variables:
   CC          C compiler command
@@ -4156,73 +4149,6 @@ fi
 
 
 
-# Check whether --enable-certificate_check was given.
-if test "${enable_certificate_check+set}" = set; then :
-  enableval=$enable_certificate_check;
-fi
-
-
-if test "x${enable_certificate_check}" = "xno"; then :
-
-  curl_certificate_check=--insecure
-  wget_certificate_check=--no-check-certificate
-
-fi
-
-for ac_prog in curl wget
-do
-  # Extract the first word of "$ac_prog", so it can be a program name with args.
-set dummy $ac_prog; ac_word=$2
-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5
-$as_echo_n "checking for $ac_word... " >&6; }
-if ${ac_cv_prog_FETCH+:} false; then :
-  $as_echo_n "(cached) " >&6
-else
-  if test -n "$FETCH"; then
-  ac_cv_prog_FETCH="$FETCH" # Let the user override the test.
-else
-as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
-for as_dir in $PATH
-do
-  IFS=$as_save_IFS
-  test -z "$as_dir" && as_dir=.
-    for ac_exec_ext in '' $ac_executable_extensions; do
-  if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
-    ac_cv_prog_FETCH="$ac_prog"
-    $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
-    break 2
-  fi
-done
-  done
-IFS=$as_save_IFS
-
-fi
-fi
-FETCH=$ac_cv_prog_FETCH
-if test -n "$FETCH"; then
-  { $as_echo "$as_me:${as_lineno-$LINENO}: result: $FETCH" >&5
-$as_echo "$FETCH" >&6; }
-else
-  { $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
-$as_echo "no" >&6; }
-fi
-
-
-  test -n "$FETCH" && break
-done
-test -n "$FETCH" || FETCH="no"
-
-
-if test x"$FETCH" = x"curl" ; then
-  fetch="curl $curl_certificate_check -OL"
-
-elif test x"$FETCH" = x"wget" ; then
-  fetch="wget $wget_certificate_check"
-
-else
-  as_fn_error $? "You must have either curl or wget installed." "$LINENO" 5
-fi
-
 echo