Lines Matching refs:ac_default_prefix
568 ac_default_prefix=/usr/local
1328 [$ac_default_prefix]
1333 \`$ac_default_prefix/bin', \`$ac_default_prefix/lib' etc. You can specify
1334 an installation prefix other than \`$ac_default_prefix' using \`--prefix',
2213 ac_site_file1=$ac_default_prefix/share/config.site
2214 ac_site_file2=$ac_default_prefix/etc/config.site
9130 test "x$prefix" = xNONE && prefix=$ac_default_prefix
