common/autoconf/generated-configure.sh

959 MAKE
1294 MAKE
2262   MAKE        Override default value for MAKE
17889   if [ -z "${MAKE+x}" ]; then
19437       as_fn_error $? "Cannot find GNU make $MAKE_REQUIRED_VERSION or newer! Please put it in the path, or add e.g. MAKE=/opt/gmake3.81/make as argument to configure." "$LINENO" 5
19443     # Try to remove the string !MAKE! from our list.
19444     try_remove_var=${CONFIGURE_OVERRIDDEN_VARIABLES//!MAKE!/}
19449         { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: Ignoring value of MAKE from the environment. Use command line variables instead." >&5
19450 $as_echo "$as_me: WARNING: Ignoring value of MAKE from the environment. Use command line variables instead." >&2;}
20999       as_fn_error $? "Cannot find GNU make $MAKE_REQUIRED_VERSION or newer! Please put it in the path, or add e.g. MAKE=/opt/gmake3.81/make as argument to configure." "$LINENO" 5
21011       if test "x$MAKE" = x; then
21012         { $as_echo "$as_me:${as_lineno-$LINENO}: Setting user supplied tool MAKE= (no value)" >&5
21013 $as_echo "$as_me: Setting user supplied tool MAKE= (no value)" >&6;}
21014         { $as_echo "$as_me:${as_lineno-$LINENO}: checking for MAKE" >&5
21015 $as_echo_n "checking for MAKE... " >&6; }
21020         tool_specified="$MAKE"
21024           { $as_echo "$as_me:${as_lineno-$LINENO}: Will search for user supplied tool MAKE=$tool_basename" >&5
21025 $as_echo "$as_me: Will search for user supplied tool MAKE=$tool_basename" >&6;}
21033   case $MAKE in
21035   ac_cv_path_MAKE="$MAKE" # Let the user override the test with a path.
21056 MAKE=$ac_cv_path_MAKE
21057 if test -n "$MAKE"; then
21058   { $as_echo "$as_me:${as_lineno-$LINENO}: result: $MAKE" >&5
21059 $as_echo "$MAKE" >&6; }
21066           if test "x$MAKE" = x; then
21071           { $as_echo "$as_me:${as_lineno-$LINENO}: Will use user supplied tool MAKE=$tool_specified" >&5
21072 $as_echo "$as_me: Will use user supplied tool MAKE=$tool_specified" >&6;}
21073           { $as_echo "$as_me:${as_lineno-$LINENO}: checking for MAKE" >&5
21074 $as_echo_n "checking for MAKE... " >&6; }
21078             as_fn_error $? "User supplied tool MAKE=$tool_specified does not exist or is not executable" "$LINENO" 5
21086     # If MAKE was set by user, verify the version
21088   MAKE_CANDIDATE=""$MAKE""
21089   DESCRIPTION="user supplied MAKE=$MAKE"
21425       as_fn_error $? "The specified make (by MAKE=$MAKE) is not GNU make $MAKE_REQUIRED_VERSION or newer." "$LINENO" 5
21431   MAKE=$FOUND_MAKE
21440   if $MAKE --version -O > /dev/null 2>&1; then
21457     if ! $MAKE --version -O$OUTPUT_SYNC > /dev/null 2>&1; then
57290       eval "ac_im_$ac_var=\`\${MAKE-make} $ac_var 2>/dev/null | sed -n 's/^$ac_var=//p'\`"