Lines Matching refs:ac_default_prefix
542 ac_default_prefix=/usr/local
1351 [$ac_default_prefix]
1356 \`$ac_default_prefix/bin', \`$ac_default_prefix/lib' etc. You can specify
1357 an installation prefix other than \`$ac_default_prefix' using \`--prefix',
2439 ac_site_file1=$ac_default_prefix/share/config.site
2440 ac_site_file2=$ac_default_prefix/etc/config.site
7828 test "x$prefix" = xNONE && prefix=$ac_default_prefix
