From 81ef887874f0ab2d147fa87c3551ff072eb128eb Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Fri, 6 Jul 2012 12:55:34 +0000 Subject: Makefile.def (cloog): Pass $(HOST_GMPINC) and $(HOST_ISLINC) as CPPFLAGS... 2012-07-06 Richard Guenther * 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. From-SVN: r189328 --- ChangeLog | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index bfa2b7e..b76b281 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,13 @@ 2012-07-06 Richard Guenther + * 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 + * 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. -- cgit v1.1