diff options
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -1,5 +1,13 @@ 2012-07-06 Richard Guenther <rguenther@suse.de> + * Makefile.def (cloog): Pass $(HOST_GMPINC) and $(HOST_ISLINC) + as CPPFLAGS, pass path to built gmp as LDFLAGS, always use + --with-gmp=system. + * Makefile.in: Regenerated. + * configure: Likewise. + +2012-07-06 Richard Guenther <rguenther@suse.de> + * configure.ac (extra_isl_gmp_configure_flags): Initialize and subst. * Makefile.def (isl): Use extra_isl_gmp_configure_flags and supply V=1 as extra_make_flags. |