configure.ac (extra_isl_gmp_configure_flags): Initialize and subst.
authorRichard Guenther <rguenther@suse.de>
Fri, 6 Jul 2012 12:31:03 +0000 (12:31 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Fri, 6 Jul 2012 12:31:03 +0000 (12:31 +0000)
commit0ff2d841ec7af4d3095ed12c8da94831354e0261
tree36349dada476a722a28492689daeafcf4bc5d8cd
parent2b9d5ad7df2f309a7835e7023d794afe492edfa2
configure.ac (extra_isl_gmp_configure_flags): Initialize and subst.

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.
* configure: Regenerated.
* Makefile.in: Likewise.

From-SVN: r189327
ChangeLog
Makefile.def
Makefile.in
configure
configure.ac