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

366   } || test -d "$as_dir" || as_fn_error $? "cannot create directory $as_dir"
414 # as_fn_error STATUS ERROR [LINENO LOG_FD]
419 as_fn_error ()
428 } # as_fn_error
972       as_fn_error $? "invalid feature name: $ac_useropt"
998       as_fn_error $? "invalid feature name: $ac_useropt"
1211       as_fn_error $? "invalid package name: $ac_useropt"
1227       as_fn_error $? "invalid package name: $ac_useropt"
1257   -*) as_fn_error $? "unrecognized option: \`$ac_option'
1266       as_fn_error $? "invalid variable name: \`$ac_envvar'" ;;
1284   as_fn_error $? "missing argument to $ac_option"
1290     fatal) as_fn_error $? "unrecognized options: $ac_unrecognized_opts" ;;
1313   as_fn_error $? "expected an absolute directory name for --$ac_var: $ac_val"
1341   as_fn_error $? "working directory cannot be determined"
1343   as_fn_error $? "pwd does not report name of working directory"
1382   as_fn_error $? "cannot find sources ($ac_unique_file) in $srcdir"
1386 	cd "$srcdir" && test -r "./$ac_unique_file" || as_fn_error $? "$ac_msg"
2848 as_fn_error $? "failed to load site script $ac_site_file
2925   as_fn_error $? "run \`make distclean' and/or \`rm $cache_file' and start over" "$LINENO" 5
2957   as_fn_error $? "cannot find install-sh, install.sh, or shtool in \"$srcdir\" \"$srcdir/..\" \"$srcdir/../..\"" "$LINENO" 5
3070     as_fn_error $? "unsafe absolute working directory name" "$LINENO" 5;;
3074     as_fn_error $? "unsafe srcdir value: '$srcdir'" "$LINENO" 5;;
3098 	as_fn_error $? "ls -t appears to fail.  Make sure there is not a broken
3114    as_fn_error $? "newly created file is older than distributed files!
3437     as_fn_error $? "source directory already configured; run \"make distclean\" there first" "$LINENO" 5
3542     as_fn_error $? "Your 'rm' program is bad, sorry." "$LINENO" 5
3574   as_fn_error $? "cannot run $SHELL $ac_aux_dir/config.sub" "$LINENO" 5
3585   as_fn_error $? "cannot guess build type; you must specify one" "$LINENO" 5
3587   as_fn_error $? "$SHELL $ac_aux_dir/config.sub $ac_build_alias failed" "$LINENO" 5
3594 *) as_fn_error $? "invalid value of canonical build" "$LINENO" 5;;
3619     as_fn_error $? "$SHELL $ac_aux_dir/config.sub $host_alias failed" "$LINENO" 5
3627 *) as_fn_error $? "invalid value of canonical host" "$LINENO" 5;;
3785            *) as_fn_error $? "bad value ${enableval} for --enable-windows-gui" "$LINENO" 5 ;;
4260 as_fn_error $? "no acceptable C compiler found in \$PATH
4375 as_fn_error 77 "C compiler cannot create executables
4418 as_fn_error $? "cannot compute suffix of executables: cannot compile and link
4476 as_fn_error $? "cannot run C compiled programs.
4529 as_fn_error $? "cannot compute suffix of object files: cannot compile
4993     as_fn_error $? "no acceptable sed could be found in \$PATH" "$LINENO" 5
5069     as_fn_error $? "no acceptable grep could be found in $PATH$PATH_SEPARATOR/usr/xpg4/bin" "$LINENO" 5
5135     as_fn_error $? "no acceptable egrep could be found in $PATH$PATH_SEPARATOR/usr/xpg4/bin" "$LINENO" 5
5202     as_fn_error $? "no acceptable fgrep could be found in $PATH$PATH_SEPARATOR/usr/xpg4/bin" "$LINENO" 5
5318 test -z "$LD" && as_fn_error $? "no acceptable ld found in \$PATH" "$LINENO" 5
7121    as_fn_error $? "The sysroot must be an absolute path." "$LINENO" 5
8381 as_fn_error $? "C preprocessor \"$CPP\" fails sanity check
8980       as_fn_error $? "Unknown argument to --with-aix-soname" "$LINENO" 5
13701 as_fn_error $? "C++ preprocessor \"$CXXCPP\" fails sanity check
13918 test -z "$LD" && as_fn_error $? "no acceptable ld found in \$PATH" "$LINENO" 5
17202 as_fn_error $? "no acceptable C compiler found in \$PATH
17786 as_fn_error $? "C preprocessor \"$CPP\" fails sanity check
18691     *\'*) as_fn_error $? "cannot use X directory names containing '" "$LINENO" 5;; #(
19940 as_fn_error $? "--with-gmp was given, but gmp.h header file is not installed
19952 as_fn_error $? "--with-gmp was given, but gmp library (version 4 or later) is not installed
20082 as_fn_error $? "--with-system-libffi was given, but ffi.h header file cannot be found
20091 as_fn_error $? "--with-system-libffi was given, but the ffi library is not installed
20146 as_fn_error $? "--with-system-libffi was given, but ffi.h header file cannot be found
20155 as_fn_error $? "--with-system-libffi was given, but the ffi library is not installed
20264 as_fn_error $? "--with-threads was given, but pthread.h header file is not installed
20276 as_fn_error $? "--with-threads was given, but pthread library is not installed
21010 as_fn_error 77 "cannot compute sizeof (void*)
21043 as_fn_error 77 "cannot compute sizeof (long)
21076 as_fn_error 77 "cannot compute sizeof (int)
21109 as_fn_error 77 "cannot compute sizeof (long long)
21348      as_fn_error $? "unknown endianness
22147            *) as_fn_error $? "bad value ${enableval} for --enable-native-codegeneration" "$LINENO" 5 ;;
22284       *) as_fn_error $? "Poly/ML is not supported for this architecture" "$LINENO" 5 ;;
22299         as_fn_error $? "--enable-native-codegeneration was given but native code is not supported on this platform" "$LINENO" 5
22477        *) as_fn_error $? "bad value ${enableval} for --enable-intinf-as-int" "$LINENO" 5 ;;
22631   as_fn_error $? "conditional \"WINDOWSGUI\" was never defined.
22635   as_fn_error $? "conditional \"AMDEP\" was never defined.
22639   as_fn_error $? "conditional \"am__fastdepCC\" was never defined.
22643   as_fn_error $? "conditional \"MAINTAINER_MODE\" was never defined.
22647   as_fn_error $? "conditional \"am__fastdepCXX\" was never defined.
22651   as_fn_error $? "conditional \"am__fastdepCC\" was never defined.
22655   as_fn_error $? "conditional \"am__fastdepCCAS\" was never defined.
22659   as_fn_error $? "conditional \"INTERNAL_LIBFFI\" was never defined.
22663   as_fn_error $? "conditional \"EXPPECOFF\" was never defined.
22667   as_fn_error $? "conditional \"EXPELF\" was never defined.
22671   as_fn_error $? "conditional \"EXPMACHO\" was never defined.
22676   as_fn_error $? "conditional \"ARCHI386\" was never defined.
22680   as_fn_error $? "conditional \"ARCHX86_64\" was never defined.
22684   as_fn_error $? "conditional \"ARCHINTERPRET\" was never defined.
22688   as_fn_error $? "conditional \"ARCHINTERPRET64\" was never defined.
22692   as_fn_error $? "conditional \"WINDOWS64CALLS\" was never defined.
22696   as_fn_error $? "conditional \"NATIVE_WINDOWS\" was never defined.
22700   as_fn_error $? "conditional \"NO_UNDEFINED\" was never defined.
22704   as_fn_error $? "conditional \"MACOSLDOPTS\" was never defined.
22708   as_fn_error $? "conditional \"INTINFISINT\" was never defined.
22859 # as_fn_error STATUS ERROR [LINENO LOG_FD]
22864 as_fn_error ()
22873 } # as_fn_error
23067   } || test -d "$as_dir" || as_fn_error $? "cannot create directory $as_dir"
23227     '') as_fn_error $? "missing file argument" ;;
23240     as_fn_error $? "ambiguous option: \`$1'
23249   -*) as_fn_error $? "unrecognized option: \`$1'
23699   *) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;;
23738 } || as_fn_error $? "cannot create a temporary directory in ." "$LINENO" 5
23770   as_fn_error $? "could not make $CONFIG_STATUS" "$LINENO" 5
23775     as_fn_error $? "could not make $CONFIG_STATUS" "$LINENO" 5
23781     as_fn_error $? "could not make $CONFIG_STATUS" "$LINENO" 5
23870   || as_fn_error $? "could not setup config files machinery" "$LINENO" 5
23919     as_fn_error $? "could not make $CONFIG_HEADERS" "$LINENO" 5
24004   as_fn_error $? "could not setup config headers machinery" "$LINENO" 5
24017   :L* | :C*:*) as_fn_error $? "invalid tag \`$ac_tag'" "$LINENO" 5;;
24045 	   as_fn_error 1 "cannot find input file: \`$ac_f'" "$LINENO" 5;;
24072       || as_fn_error $? "could not create $ac_file" "$LINENO" 5 ;;
24209   >$ac_tmp/out || as_fn_error $? "could not create $ac_file" "$LINENO" 5
24225   || as_fn_error $? "could not create $ac_file" "$LINENO" 5
24236       || as_fn_error $? "could not create $ac_file" "$LINENO" 5
24243 	|| as_fn_error $? "could not create $ac_file" "$LINENO" 5
24248       || as_fn_error $? "could not create -" "$LINENO" 5
25111   as_fn_error $? "write failure creating $CONFIG_STATUS" "$LINENO" 5
25273 	as_fn_error $? "$ac_sub_configure failed for $ac_dir" "$LINENO" 5