113 break ;;
114 esac
115 }
116
117 port_help() {
118 PKGHANDLER_COMMAND=""
119 }
120
121 pkgutil_help() {
122 PKGHANDLER_COMMAND=""
123 }
124
125 pkgadd_help() {
126 PKGHANDLER_COMMAND=""
127 }
128
129 AC_DEFUN_ONCE([HELP_PRINT_SUMMARY_AND_WARNINGS],
130 [
131 # Finally output some useful information to the user
132
133 if test "x$CCACHE_FOUND" != x; then
134 if test "x$HAS_GOOD_CCACHE" = x; then
135 CCACHE_STATUS="installed, but disabled (version older than 3.1.4)"
136 CCACHE_HELP_MSG="You have ccache installed, but it is a version prior to 3.1.4. Try upgrading."
137 else
138 CCACHE_STATUS="installed and in use"
139 fi
140 else
141 if test "x$GCC" = xyes; then
142 CCACHE_STATUS="not installed (consider installing)"
143 CCACHE_HELP_MSG="You do not have ccache installed. Try installing it."
144 else
145 CCACHE_STATUS="not available for your system"
146 fi
147 fi
148
149 printf "\n"
150 printf "====================================================\n"
151 printf "A new configuration has been successfully created in\n"
152 printf "$OUTPUT_ROOT\n"
153 if test "x$CONFIGURE_COMMAND_LINE" != x; then
154 printf "using configure arguments '$CONFIGURE_COMMAND_LINE'.\n"
155 else
156 printf "using default settings.\n"
157 fi
158
159 printf "\n"
|
113 break ;;
114 esac
115 }
116
117 port_help() {
118 PKGHANDLER_COMMAND=""
119 }
120
121 pkgutil_help() {
122 PKGHANDLER_COMMAND=""
123 }
124
125 pkgadd_help() {
126 PKGHANDLER_COMMAND=""
127 }
128
129 AC_DEFUN_ONCE([HELP_PRINT_SUMMARY_AND_WARNINGS],
130 [
131 # Finally output some useful information to the user
132
133 if test "x$CCACHE" != x; then
134 CCACHE_STATUS="installed and in use"
135 else
136 if test "x$GCC" = xyes; then
137 CCACHE_STATUS="not installed (consider installing)"
138 CCACHE_HELP_MSG="You do not have ccache installed. Try installing it."
139 else
140 CCACHE_STATUS="not available for your system"
141 fi
142 fi
143
144 printf "\n"
145 printf "====================================================\n"
146 printf "A new configuration has been successfully created in\n"
147 printf "$OUTPUT_ROOT\n"
148 if test "x$CONFIGURE_COMMAND_LINE" != x; then
149 printf "using configure arguments '$CONFIGURE_COMMAND_LINE'.\n"
150 else
151 printf "using default settings.\n"
152 fi
153
154 printf "\n"
|