diff options
Diffstat (limited to 'config/ChangeLog')
-rw-r--r-- | config/ChangeLog | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/config/ChangeLog b/config/ChangeLog index e3d62489e9a..5633e8c32b9 100644 --- a/config/ChangeLog +++ b/config/ChangeLog @@ -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. |