Cross Reference: /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/configure

2893 ax_enable_builddir="."
2896   enableval=$enable_builddir; ax_enable_builddir="$enableval"
2898   ax_enable_builddir="auto"
2907     test ".$ax_enable_builddir" = "."  && ax_enable_builddir="."
2908     test ".$ax_enable_builddir" = ".no"  && ax_enable_builddir="."
2910     test ".$ax_enable_builddir" = ".auto" && ax_enable_builddir="$TARGET"
2911     if test ".$ax_enable_builddir" != ".." ; then    # we know where to go and
2912       as_dir=$ax_enable_builddir; as_fn_mkdir_p
2913       echo __.$ax_enable_builddir.__ > $ax_enable_builddir/conftest.tmp
2914       cd $ax_enable_builddir
2915       if grep __.$ax_enable_builddir.__ conftest.tmp >/dev/null 2>/dev/null ; then
2917         { $as_echo "$as_me:${as_lineno-$LINENO}: result: continue configure in default builddir \"./$ax_enable_builddir\"" >&5
2918 $as_echo "continue configure in default builddir \"./$ax_enable_builddir\"" >&6; }
2920         as_fn_error $? "could not change to default builddir \"./$ax_enable_builddir\"" "$LINENO" 5
2922       srcdir=`echo "$ax_enable_builddir" |
2929       { $as_echo "$as_me:${as_lineno-$LINENO}: result: ....exec $SHELL $srcdir/$0 \"--srcdir=$srcdir\" \"--enable-builddir=$ax_enable_builddir\" ${1+\"$@\"}" >&5
2930 $as_echo "....exec $SHELL $srcdir/$0 \"--srcdir=$srcdir\" \"--enable-builddir=$ax_enable_builddir\" ${1+\"$@\"}" >&6; }
2933          eval $SHELL "'$0'" "'--srcdir=$srcdir'" "'--enable-builddir=$ax_enable_builddir'" $ac_configure_args ;;
2934        *) eval $SHELL "'$srcdir/$0'" "'--srcdir=$srcdir'" "'--enable-builddir=$ax_enable_builddir'" $ac_configure_args ;;
2939 test ".$ax_enable_builddir" = ".auto" && ax_enable_builddir="."
20286 ax_enable_builddir="$ax_enable_builddir"               # $SUB
21321   if test ".$ax_enable_builddir" = ".." ; then
21444       echo "s!^$xxxx [^|]* | *$ax_enable_builddir *\$!$xxxx ...... $ax_enable_builddir!" >$tmp/conftemp.sed
21458     { $as_echo "$as_me:${as_lineno-$LINENO}: build in $ax_enable_builddir (HOST=$ax_enable_builddir_host)" >&5
21459 $as_echo "$as_me: build in $ax_enable_builddir (HOST=$ax_enable_builddir_host)" >&6;}
21461     echo "$xxxx" "$ax_enable_builddir_host" "|$ax_enable_builddir" >>$ac_top_srcdir/Makefile