PlaneteCasio
/
libc
1
0
Fork 0
Code Issues 6 Pull Requests Releases Wiki Activity

sync toplevel with gcc

This commit is contained in:
Paolo Bonzini 2010-11-20 20:31:10 +00:00
parent 6f396dc7c0
commit 128691ed1b
4 changed files with 28 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
ChangeLog
View File

@ -1,3 +1,7 @@
2010-11-20 Paolo Bonzini <bonzini@gnu.org>
* configure: Regenerate.
2010-11-20 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
PR other/46202

18
config/ChangeLog
View File

@ -2,6 +2,24 @@
* cloog.m4 (CLOOG_INIT_FLAGS): Fix spelling in option names.
2010-11-12 Tobias Grosser <grosser@fim.uni-passau.de>
* cloog.m4: Add -enable-cloog-backend=(isl|ppl|ppl-legacy) to
define the cloog backend to use. Furthermore, only pass the ppllibs to
the configure checks, if necessary.
2010-11-12 Tobias Grosser <grosser@fim.uni-passau.de>
* cloog.m4: Use CLooG predefined macro to check for CLooG PPL.
2010-11-12 Tobias Grosser <grosser@fim.uni-passau.de>
* cloog.m4: Fix typo. verison -> version.
2010-11-12 Tobias Grosser <grosser@fim.uni-passau.de>
* cloog.m4: Pass ppl libraries to the CLooG version check.
2010-11-11 Jan Hubicka <jh@suse.cz>
* bootstrap-lto: Use -flto.

7
config/cloog.m4
View File

@ -38,10 +38,9 @@ AC_DEFUN([CLOOG_INIT_FLAGS],
[Specify the directory for the installed CLooG library])])
AC_ARG_ENABLE(cloog-backend,
[ --enable-cloog-backend[=backend]
isl: The cloog.org isl backend
ppl-legacy: The legacy ppl backend - default
ppl: The cloog.org ppl backend],
[AS_HELP_STRING(
[--enable-cloog-backend[[=BACKEND]]],
[set the CLooG BACKEND used to either isl, ppl or ppl-legacy (default)])],
[ if test "x${enableval}" = "xisl"; then
cloog_backend=isl
elif test "x${enableval}" = "xppl"; then

7
configure vendored
View File

@ -1455,10 +1455,9 @@ Optional Features:
--enable-libssp build libssp directory
--enable-build-with-cxx build with C++ compiler instead of C compiler
--disable-ppl-version-check disable check for PPL version
--enable-cloog-backend=backend
isl: The cloog.org isl backend
ppl-legacy: The legacy ppl backend - default
ppl: The cloog.org ppl backend
--enable-cloog-backend[=BACKEND]
set the CLooG BACKEND used to either isl, ppl or
ppl-legacy (default)
--disable-cloog-version-check
disable check for CLooG version
--enable-lto enable link time optimization support