blob: 8e494dbda5046fd6e9a37941e75718e3cf1d438e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
--- configure 2015-04-29 20:23:39.092132000 +0200
+++ configure 2015-04-29 20:24:39.312802000 +0200
@@ -599,8 +599,6 @@
OCAML_PKG_re
OCAML_PKG_extlib
OCAML_PKG_unix
-fetch
-FETCH
OCAMLFIND
OCAMLYACC
OCAMLLEXDOTOPT
@@ -671,7 +669,6 @@
ac_user_opts='
enable_option_checking
enable_version_check
-enable_certificate_check
'
ac_precious_vars='build_alias
host_alias
@@ -1292,10 +1289,6 @@
--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 @@
-# 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
|
