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

881 srcdir=
1184   -srcdir | --srcdir | --srcdi | --srcd | --src | --sr)
1185     ac_prev=srcdir ;;
1186   -srcdir=* | --srcdir=* | --srcdi=* | --srcd=* | --src=* | --sr=*)
1187     srcdir=$ac_optarg ;;
1347 if test -z "$srcdir"; then
1373   srcdir=$ac_confdir
1374   if test ! -r "$srcdir/$ac_unique_file"; then
1375     srcdir=..
1380 if test ! -r "$srcdir/$ac_unique_file"; then
1381   test "$ac_srcdir_defaulted" = yes && srcdir="$ac_confdir or .."
1382   as_fn_error $? "cannot find sources ($ac_unique_file) in $srcdir"
1384 ac_msg="sources are in $srcdir, but \`cd $srcdir' does not work"
1386 	cd "$srcdir" && test -r "./$ac_unique_file" || as_fn_error $? "$ac_msg"
1388 # When building in place, set srcdir=.
1390   srcdir=.
1392 # Remove unnecessary trailing slashes from srcdir.
1395 case $srcdir in
1396 */) srcdir=`expr "X$srcdir" : 'X\(.*[^/]\)' \| "X$srcdir" : 'X\(.*\)'`;;
1430       --srcdir=DIR        find the sources in DIR [configure dir or \`..']
1576       { cd "$srcdir" && ac_pwd=`pwd` && srcdir=. && test -d "$ac_dir"; } ||
1596 case $srcdir in
1602     ac_srcdir=$srcdir$ac_dir_suffix;
1603     ac_top_srcdir=$srcdir
1604     ac_abs_top_srcdir=$srcdir ;;
1606     ac_srcdir=$ac_top_build_prefix$srcdir$ac_dir_suffix
1607     ac_top_srcdir=$ac_top_build_prefix$srcdir
1608     ac_abs_top_srcdir=$ac_pwd/$srcdir ;;
2941 for ac_dir in "$srcdir" "$srcdir/.." "$srcdir/../.."; do
2957   as_fn_error $? "cannot find install-sh, install.sh, or shtool in \"$srcdir\" \"$srcdir/..\" \"$srcdir/../..\"" "$LINENO" 5
3064 # Reject unsafe characters in $srcdir or the absolute working directory
3072 case $srcdir in
3074     as_fn_error $? "unsafe srcdir value: '$srcdir'" "$LINENO" 5;;
3086      set X `ls -Lt "$srcdir/configure" conftest.file 2> /dev/null`
3089 	set X `ls -t "$srcdir/configure" conftest.file`
3091      if test "$*" != "X $srcdir/configure conftest.file" \
3092 	&& test "$*" != "X conftest.file $srcdir/configure"; then
3431 if test "`cd $srcdir && pwd`" != "`pwd`"; then
3432   # Use -I$(srcdir) only when $(srcdir) != ., so that make's output
3434   am__isrc=' -I$(srcdir)'
3435   # test to see if srcdir already configured
3436   if test -f $srcdir/config.status; then
23183 srcdir='$srcdir'
23873 # VPATH may cause trouble with some makes, so we remove sole $(srcdir),
23874 # ${srcdir} and @srcdir@ entries from VPATH if srcdir is ".", strip leading and
23877 if test "x$srcdir" = x.; then
23883 s/:\$(srcdir):/:/g
23884 s/:\${srcdir}:/:/g
23885 s/:@srcdir@:/:/g
24043 	   *) test -f "$srcdir/$ac_f" && ac_f="$srcdir/$ac_f";;
24119 case $srcdir in
24125     ac_srcdir=$srcdir$ac_dir_suffix;
24126     ac_top_srcdir=$srcdir
24127     ac_abs_top_srcdir=$srcdir ;;
24129     ac_srcdir=$ac_top_build_prefix$srcdir$ac_dir_suffix
24130     ac_top_srcdir=$ac_top_build_prefix$srcdir
24131     ac_abs_top_srcdir=$ac_pwd/$srcdir ;;
24184 # Neutralize VPATH when `$srcdir' = `.'.
24197 s&@srcdir@&$ac_srcdir&;t t
25140   # Remove --cache-file, --srcdir, and --disable-option-checking arguments
25162     -srcdir | --srcdir | --srcdi | --srcd | --src | --sr)
25163       ac_prev=srcdir ;;
25164     -srcdir=* | --srcdir=* | --srcdi=* | --srcd=* | --src=* | --sr=*)
25202     test -d "$srcdir/$ac_dir" || continue
25226 case $srcdir in
25232     ac_srcdir=$srcdir$ac_dir_suffix;
25233     ac_top_srcdir=$srcdir
25234     ac_abs_top_srcdir=$srcdir ;;
25236     ac_srcdir=$ac_top_build_prefix$srcdir$ac_dir_suffix
25237     ac_top_srcdir=$ac_top_build_prefix$srcdir
25238     ac_abs_top_srcdir=$ac_pwd/$srcdir ;;
25268       { $as_echo "$as_me:${as_lineno-$LINENO}: running $SHELL $ac_sub_configure $ac_sub_configure_args --cache-file=$ac_sub_cache_file --srcdir=$ac_srcdir" >&5
25269 $as_echo "$as_me: running $SHELL $ac_sub_configure $ac_sub_configure_args --cache-file=$ac_sub_cache_file --srcdir=$ac_srcdir" >&6;}
25272 	   --cache-file=\"\$ac_sub_cache_file\" --srcdir=\"\$ac_srcdir\"" ||