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

789 CFLAGS
1456 To assign environment variables (e.g., CC, CFLAGS...), specify them as
1573   CFLAGS      C compiler flags
1582   CCASFLAGS   assembler compiler flags (defaults to CFLAGS)
2724 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
2725 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
3565 # As a side effect, we have to subst CFLAGS ourselves.
3566 # Also save and restore CFLAGS, since AC_PROG_CC will come up with
3571 save_CFLAGS=$CFLAGS
3574 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
3575 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4185 ac_test_CFLAGS=${CFLAGS+set}
4186 ac_save_CFLAGS=$CFLAGS
4195    CFLAGS="-g"
4210   CFLAGS=""
4226 	 CFLAGS="-g"
4251   CFLAGS=$ac_save_CFLAGS
4254     CFLAGS="-g -O2"
4256     CFLAGS="-g"
4260     CFLAGS="-O2"
4262     CFLAGS=
4357 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
4358 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4363 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
4364 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4415 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
4416 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4864 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
4865 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4996 CFLAGS=$save_CFLAGS
5005 test "${CCASFLAGS+set}" = set || CCASFLAGS=$CFLAGS
7070 # If no C compiler flags were specified, use CFLAGS.
7071 LTCFLAGS=${LTCFLAGS-"$CFLAGS"}
7304 	  lt_globsym_save_CFLAGS=$CFLAGS
7306 	  CFLAGS="$CFLAGS$lt_prog_compiler_no_builtin_flag"
7315 	  CFLAGS=$lt_globsym_save_CFLAGS
7689   SAVE_CFLAGS=$CFLAGS
7690   CFLAGS="$CFLAGS -belf"
7698 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
7699 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
7722 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
7723 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
7731     CFLAGS=$SAVE_CFLAGS
8556 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
8557 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
8687 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
8688 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
9143 old_CFLAGS=$CFLAGS
9148 test -z "$LTCFLAGS" && LTCFLAGS=$CFLAGS
9302 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
9303 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
9329 # If no C compiler flags were specified, use CFLAGS.
9330 LTCFLAGS=${LTCFLAGS-"$CFLAGS"}
10499       # CXXFLAGS/CFLAGS for g++/gcc.  In the cases where that is not
11550   lt_multi_os_dir=/`$CC $CPPFLAGS $CFLAGS $LDFLAGS -print-multi-os-directory 2>/dev/null`
13133 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
13134 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
13271 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
13272 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
13337 # If no C compiler flags were specified, use CFLAGS.
13338 LTCFLAGS=${LTCFLAGS-"$CFLAGS"}
13360   lt_save_CFLAGS=$CFLAGS
13378   CFLAGS=$CXXFLAGS
13544       output_verbose_link_cmd='$CC -shared $CFLAGS -v conftest.$objext 2>&1 | $GREP -v "^Configured with:" | $GREP "\-L"'
13612         # CXXFLAGS/CFLAGS for g++/gcc.  In the cases where that is not
14036             output_verbose_link_cmd='templist=`($CC -b $CFLAGS -v conftest.$objext 2>&1) | $EGREP "\-L"`; list= ; for z in $templist; do case $z in conftest.$objext) list="$list $z";; *.$objext);; *) list="$list $z";;esac; done; func_echo_all "$list"'
14101 	    output_verbose_link_cmd='templist=`($CC -b $CFLAGS -v conftest.$objext 2>&1) | $GREP "\-L"`; list= ; for z in $templist; do case $z in conftest.$objext) list="$list $z";; *.$objext);; *) list="$list $z";;esac; done; func_echo_all "$list"'
14186 	    output_verbose_link_cmd='templist=`$CC $CFLAGS -v conftest.$objext -o libconftest$shared_ext 2>&1 | $GREP "ld"`; rm -f libconftest$shared_ext; list= ; for z in $templist; do case $z in conftest.$objext) list="$list $z";; *.$objext);; *) list="$list $z";;esac; done; func_echo_all "$list"'
14269 	    output_verbose_link_cmd='templist=`$CC -shared $CFLAGS -v conftest.$objext 2>&1 | $GREP "ld"`; templist=`func_echo_all "$templist" | $SED "s/\(^.*ld.*\)\( .*ld .*$\)/\1/"`; list= ; for z in $templist; do case $z in conftest.$objext) list="$list $z";; *.$objext);; *) list="$list $z";;esac; done; func_echo_all "X$list" | $Xsed'
14295 	      # $CC $CFLAGS -v conftest.$objext -o libconftest$shared_ext 2>&1
14342 	output_verbose_link_cmd='$CC -shared $CFLAGS -v conftest.$objext 2>&1 | $GREP conftest.$objext | $SED -e "s:-lgcc -lc -lgcc::"'
14420 	    output_verbose_link_cmd='templist=`$CC -shared $CFLAGS -v conftest.$objext 2>&1 | $GREP "ld" | $GREP -v "ld:"`; templist=`func_echo_all "$templist" | $SED "s/\(^.*ld.*\)\( .*ld.*$\)/\1/"`; list= ; for z in $templist; do case $z in conftest.$objext) list="$list $z";; *.$objext);; *) list="$list $z";;esac; done; func_echo_all "$list"'
14440 	      output_verbose_link_cmd='$CC -shared $CFLAGS -v conftest.$objext 2>&1 | $GREP -v "^Configured with:" | $GREP "\-L"'
14524 	        output_verbose_link_cmd='$CC -shared $CFLAGS -v conftest.$objext 2>&1 | $GREP -v "^Configured with:" | $GREP "\-L"'
14535 	        output_verbose_link_cmd='$CC -G $CFLAGS -v conftest.$objext 2>&1 | $GREP -v "^Configured with:" | $GREP "\-L"'
14655 _lt_libdeps_save_CFLAGS=$CFLAGS
14656 case "$CC $CFLAGS " in #(
14657 *\ -flto*\ *) CFLAGS="$CFLAGS -fno-lto" ;;
14658 *\ -fwhopr*\ *) CFLAGS="$CFLAGS -fno-whopr" ;;
14659 *\ -fuse-linker-plugin*\ *) CFLAGS="$CFLAGS -fno-use-linker-plugin" ;;
14758 CFLAGS=$_lt_libdeps_save_CFLAGS
16441   CFLAGS=$lt_save_CFLAGS
16454 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
16455 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
16586 # Try to determine "good" native compiler flags if none specified via CFLAGS
16588   CFLAGS=""
16590     dec) CFLAGS="-newc -w0 -O5 -ansi_alias -ansi_args -fp_reorder -tune host"
16592            CFLAGS="$CFLAGS -arch host"
16595     sun) CFLAGS="-native -fast -xO5 -dalign"
16597 	   CFLAGS="$CFLAGS -xarch=generic"
16600     hp)  CFLAGS="+Oall +Optrs_ansi +DSnative"
16602 	   CFLAGS="$CFLAGS +DAportable"
16617   ax_check_save_flags=$CFLAGS
16618   CFLAGS="$CFLAGS  $xlc_opt"
16636   CFLAGS=$ax_check_save_flags
16642   CFLAGS="-O3 -qansialias -w $xlc_opt"
16644   CFLAGS="-O3 -qansialias -w"
16649                 echo "*    CFLAGS=-O3 -qarch=xxx -qtune=xxx -qansialias -w *"
16652                 echo "*  CPU you have.  (Set the CFLAGS environment var.   *"
16659     intel) CFLAGS="-O3 -ansi_alias"
16669 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
16670 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
16716 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
16717 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
16724 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
16725 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
16771 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
16772 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
16794   ax_check_save_flags=$CFLAGS
16795   CFLAGS="$CFLAGS  $flag"
16813   CFLAGS=$ax_check_save_flags
16831             CFLAGS="$CFLAGS $icc_archflag"
16838      CFLAGS="-O3 -fomit-frame-pointer"
16842      # AX_CHECK_COMPILE_FLAG(-malign-double, CFLAGS="$CFLAGS -malign-double")
16851   ax_check_save_flags=$CFLAGS
16852   CFLAGS="$CFLAGS  -fstrict-aliasing"
16870   CFLAGS=$ax_check_save_flags
16875   CFLAGS="$CFLAGS -fstrict-aliasing"
16888   ax_check_save_flags=$CFLAGS
16889   CFLAGS="$CFLAGS  -ffast-math"
16907   CFLAGS=$ax_check_save_flags
16912   CFLAGS="$CFLAGS -ffast-math"
16950 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
16951 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
16997 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
16998 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
17005 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
17006 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
17052 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
17053 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
17094 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
17095 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
17141 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
17142 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
17278   ax_check_save_flags=$CFLAGS
17279   CFLAGS="$CFLAGS  $flag"
17297   CFLAGS=$ax_check_save_flags
17324   CFLAGS="$CFLAGS $ax_cv_gcc_archflag"
17330   if test -z "$CFLAGS"; then
17333         echo "* WARNING: Don't know the best CFLAGS for this system  *"
17334         echo "* Use ./configure CFLAGS=... to specify your own flags *"
17335 	echo "* (otherwise, a default of CFLAGS=-O3 will be used)    *"
17338         CFLAGS="-O3"
17341   as_CACHEVAR=`$as_echo "ax_cv_check_cflags__$CFLAGS" | $as_tr_sh`
17342 { $as_echo "$as_me:${as_lineno-$LINENO}: checking whether C compiler accepts $CFLAGS" >&5
17343 $as_echo_n "checking whether C compiler accepts $CFLAGS... " >&6; }
17348   ax_check_save_flags=$CFLAGS
17349   CFLAGS="$CFLAGS  $CFLAGS"
17367   CFLAGS=$ax_check_save_flags
17378         echo "* WARNING: The guessed CFLAGS don't seem to work with  *"
17380         echo "* Use ./configure CFLAGS=... to specify your own flags *"
17383         CFLAGS=""
17393   if ${CFLAGS+:} false; then :
17394   case " $CFLAGS " in
17396       { { $as_echo "$as_me:${as_lineno-$LINENO}: : CFLAGS already contains "; } >&5
17397   (: CFLAGS already contains ) 2>&5
17403       { { $as_echo "$as_me:${as_lineno-$LINENO}: : CFLAGS=\"\$CFLAGS \""; } >&5
17404   (: CFLAGS="$CFLAGS ") 2>&5
17408       CFLAGS="$CFLAGS "
17412   CFLAGS=""
17417 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
17418 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
17421 { $as_echo "$as_me:${as_lineno-$LINENO}: checking CFLAGS for maximum warnings" >&5
17422 $as_echo_n "checking CFLAGS for maximum warnings... " >&6; }
17427 ac_save_CFLAGS="$CFLAGS"
17429 do CFLAGS="$ac_save_CFLAGS "`echo $ac_arg | sed -e 's,%%.*,,' -e 's,%,,'`
17446 CFLAGS="$ac_save_CFLAGS"
17455    *) if ${CFLAGS+:} false; then :
17456   case " $CFLAGS " in
17458       { { $as_echo "$as_me:${as_lineno-$LINENO}: : CFLAGS already contains \$ac_cv_cflags_warn_all"; } >&5
17459   (: CFLAGS already contains $ac_cv_cflags_warn_all) 2>&5
17465       { { $as_echo "$as_me:${as_lineno-$LINENO}: : CFLAGS=\"\$CFLAGS \$ac_cv_cflags_warn_all\""; } >&5
17466   (: CFLAGS="$CFLAGS $ac_cv_cflags_warn_all") 2>&5
17470       CFLAGS="$CFLAGS $ac_cv_cflags_warn_all"
17474   CFLAGS="$ac_cv_cflags_warn_all"
17481 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
17482 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
17489   CFLAGS="$CFLAGS -fexceptions"
18675 	for ac_word in $CC $CFLAGS $CPPFLAGS $LDFLAGS; do
18921 	save_CFLAGS="$CFLAGS"
18923 	CFLAGS="$CFLAGS -fpic"
18943 	CFLAGS="$save_CFLAGS"
18999 	if $CC $CFLAGS -c conftest.s > /dev/null 2>&1; then
19195 	if $CC -Wa,--fatal-warnings $CFLAGS -c conftest1.s > /dev/null 2>&1 && \
19219   	if $CC $CFLAGS -c -fpic -fexceptions -o conftest.o conftest.c > /dev/null 2>&1; then
19350   multi_os_directory=`$CC $CFLAGS -print-multi-os-directory`
20349 CFLAGS='`$ECHO "$CFLAGS" | $SED "$delay_single_quote_subst"`'
20527 CFLAGS \