Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
Spot
Commits
e94f297b
Commit
e94f297b
authored
Aug 09, 2004
by
Alexandre Duret-Lutz
Browse files
* m4/gccoptim.m4: Compute optimization flags for CXX too.
parent
50ed9f8c
Changes
2
Hide whitespace changes
Inline
Side-by-side
ChangeLog
View file @
e94f297b
2004-08-09 Alexandre Duret-Lutz <adl@src.lip6.fr>
* m4/gccoptim.m4: Compute optimization flags for CXX too.
* m4/ndebug.m4: Update CPPFLAGS, not CFLAGS.
* src/tgbaalgos/ltl2tgba_fm.hh (ltl_to_tgba_fm): Document all
...
...
m4/gccoptim.m4
View file @
e94f297b
...
...
@@ -3,7 +3,7 @@ AC_DEFUN([ad_GCC_OPTIM],
[AC_ARG_ENABLE([optimizations],
[AC_HELP_STRING([--disable-optimizations],
[turn off aggressive optimizations])])
if test -n "$GCC"
-a
"${enable_optimizations-yes}" = "yes"; then
if test -n "$GCC"
&& test
"${enable_optimizations-yes}" = "yes"; then
AC_CACHE_CHECK([for gcc optimization options], ac_cv_prog_gcc_opt_flags,
[changequote(,)dnl
cat > conftest.$ac_ext <<EOF
...
...
@@ -25,9 +25,33 @@ EOF
done
rm -f conftest*
CFLAGS="$cf_save_CFLAGS $ac_cv_prog_gcc_opt_flags"])
AC_CACHE_CHECK([for g++ optimization options], ac_cv_prog_gxx_opt_flags,
[changequote(,)dnl
cat > conftest.$ac_ext <<EOF
#line __oline__ "configure"
int main(int argc, char *argv[]) { return argv[argc-1] == 0; }
EOF
changequote([,])dnl
AC_LANG_PUSH([C++])
cf_save_CXXFLAGS="$CXXFLAGS"
ac_cv_prog_gxx_opt_flags="-O3"
for cf_opt in \
ffast-math \
fstrict-aliasing \
fomit-frame-pointer
do
CXXFLAGS="$cf_save_CXXFLAGS $ac_cv_prog_gxx_opt_flags -$cf_opt"
if AC_TRY_EVAL([ac_compile]); then
ac_cv_prog_gxx_opt_flags="$ac_cv_prog_gxx_opt_flags -$cf_opt"
fi
done
rm -f conftest*
AC_LANG_POP([C++])
CXXFLAGS="$cf_save_CFLAGS $ac_cv_prog_gxx_opt_flags"])
else
case $enable_optimizations in
no) ;;
*) CFLAGS="$CFLAGS $enable_optimizations" ;;
*) CXXFLAGS="$CXXFLAGS $enable_optimizations"
CFLAGS="$CFLAGS $enable_optimizations" ;;
esac
fi])
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment