casa-mp-base

--- configure.~ 2018-10-25 11:29:36.000000000 -0400

+++ configure   2018-10-25 11:30:18.000000000 -0400

@@ -4752,7 +4752,7 @@

 elif test x"$FETCH" = x"wget" ; then

   fetch="wget $wget_certificate_check -O \$(2) \$(1)"

-elif test x"${enable_checks}" != x"no" ; then

+elif false ; then

   if ! ${MAKE:-make} -q -C src_ext has-archives 2>/dev/null ; then

     as_fn_error $? "You must have either curl or wget installed." "$LINENO" 5

   fi