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

731 CFLAGS
844 CFLAGS
1416 To assign environment variables (e.g., CC, CFLAGS...), specify them as
1541   CFLAGS      C compiler flags
1554   CCASFLAGS   assembler compiler flags (defaults to CFLAGS)
2933 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
2934 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
3560         # Set CCASFLAGS to empty so that it doesn't get set to CFLAGS.
3563         test "${CFLAGS+set}" = set || CFLAGS="-O3"
3567         test "${CFLAGS+set}" = set || CFLAGS="-g"
3760         CFLAGS="$CFLAGS -mthreads"
3771                 CFLAGS="$CFLAGS -mthreads"
3962 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
3963 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4573 ac_test_CFLAGS=${CFLAGS+set}
4574 ac_save_CFLAGS=$CFLAGS
4583    CFLAGS="-g"
4598   CFLAGS=""
4614 	 CFLAGS="-g"
4639   CFLAGS=$ac_save_CFLAGS
4642     CFLAGS="-g -O2"
4644     CFLAGS="-g"
4648     CFLAGS="-O2"
4650     CFLAGS=
4745 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
4746 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4751 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
4752 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4803 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
4804 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
6770 # If no C compiler flags were specified, use CFLAGS.
6771 LTCFLAGS=${LTCFLAGS-"$CFLAGS"}
7004 	  lt_globsym_save_CFLAGS=$CFLAGS
7006 	  CFLAGS="$CFLAGS$lt_prog_compiler_no_builtin_flag"
7015 	  CFLAGS=$lt_globsym_save_CFLAGS
7389   SAVE_CFLAGS=$CFLAGS
7390   CFLAGS="$CFLAGS -belf"
7398 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
7399 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
7422 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
7423 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
7431     CFLAGS=$SAVE_CFLAGS
8256 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
8257 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
8387 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
8388 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
9130 old_CFLAGS=$CFLAGS
9135 test -z "$LTCFLAGS" && LTCFLAGS=$CFLAGS
9289 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
9290 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
9316 # If no C compiler flags were specified, use CFLAGS.
9317 LTCFLAGS=${LTCFLAGS-"$CFLAGS"}
10486       # CXXFLAGS/CFLAGS for g++/gcc.  In the cases where that is not
11537   lt_multi_os_dir=/`$CC $CPPFLAGS $CFLAGS $LDFLAGS -print-multi-os-directory 2>/dev/null`
13120 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
13121 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
13433 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
13434 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
13707 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
13708 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
13773 # If no C compiler flags were specified, use CFLAGS.
13774 LTCFLAGS=${LTCFLAGS-"$CFLAGS"}
13796   lt_save_CFLAGS=$CFLAGS
13814   CFLAGS=$CXXFLAGS
13980       output_verbose_link_cmd='$CC -shared $CFLAGS -v conftest.$objext 2>&1 | $GREP -v "^Configured with:" | $GREP "\-L"'
14048         # CXXFLAGS/CFLAGS for g++/gcc.  In the cases where that is not
14472             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"'
14537 	    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"'
14622 	    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"'
14705 	    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'
14731 	      # $CC $CFLAGS -v conftest.$objext -o libconftest$shared_ext 2>&1
14778 	output_verbose_link_cmd='$CC -shared $CFLAGS -v conftest.$objext 2>&1 | $GREP conftest.$objext | $SED -e "s:-lgcc -lc -lgcc::"'
14856 	    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"'
14876 	      output_verbose_link_cmd='$CC -shared $CFLAGS -v conftest.$objext 2>&1 | $GREP -v "^Configured with:" | $GREP "\-L"'
14960 	        output_verbose_link_cmd='$CC -shared $CFLAGS -v conftest.$objext 2>&1 | $GREP -v "^Configured with:" | $GREP "\-L"'
14971 	        output_verbose_link_cmd='$CC -G $CFLAGS -v conftest.$objext 2>&1 | $GREP -v "^Configured with:" | $GREP "\-L"'
15091 _lt_libdeps_save_CFLAGS=$CFLAGS
15092 case "$CC $CFLAGS " in #(
15093 *\ -flto*\ *) CFLAGS="$CFLAGS -fno-lto" ;;
15094 *\ -fwhopr*\ *) CFLAGS="$CFLAGS -fno-whopr" ;;
15095 *\ -fuse-linker-plugin*\ *) CFLAGS="$CFLAGS -fno-use-linker-plugin" ;;
15194 CFLAGS=$_lt_libdeps_save_CFLAGS
16877   CFLAGS=$lt_save_CFLAGS
16890 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
16891 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
16904 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
16905 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
17265 ac_test_CFLAGS=${CFLAGS+set}
17266 ac_save_CFLAGS=$CFLAGS
17275    CFLAGS="-g"
17290   CFLAGS=""
17306 	 CFLAGS="-g"
17331   CFLAGS=$ac_save_CFLAGS
17334     CFLAGS="-g -O2"
17336     CFLAGS="-g"
17340     CFLAGS="-O2"
17342     CFLAGS=
17437 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
17438 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
17443 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
17444 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
17495 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
17496 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
17661 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
17662 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
17792 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
17793 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
17800 test "${CCASFLAGS+set}" = set || CCASFLAGS=$CFLAGS
18878         CFLAGS="$CFLAGS -I$x_includes"
19026         CFLAGS="$CFLAGS -I$xm_includes"
20167 	LIBS="$FFI_LIBS $LIBS" CFLAGS="$FFI_CFLAGS $CFLAGS"
20171     CFLAGS="$CFLAGS -Ilibffi/include"
21149 	for ac_word in $CC $CFLAGS $CPPFLAGS $LDFLAGS; do
22269             CFLAGS="$CFLAGS -mieee -mfp-rounding-mode=d"
22443 # Strip -fdebug-prefix-map= from CFLAGS; it's meaningless for users of polyc,
22446 for cflag in $CFLAGS; do
23355 CFLAGS='`$ECHO "$CFLAGS" | $SED "$delay_single_quote_subst"`'
23534 CFLAGS \