OSDN Git Service

2012-07-06 Richard Guenther <rguenther@suse.de>
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 6 Jul 2012 12:55:34 +0000 (12:55 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 6 Jul 2012 12:55:34 +0000 (12:55 +0000)
commit281f78b6c8b705bb1e712b6a0051e0e727de111f
tree3d5bc6d0e3855e9dad88a8be4e90cb0a7c436bb8
parente4128452b76c241e59e2c9eb075fc24ea6d836f3
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@189328 138bc75d-0d04-0410-961f-82ee72b054a4
ChangeLog
Makefile.def
Makefile.in
configure