OSDN Git Service

Add -enable-cloog-backend.
authorgrosser <grosser@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 12 Nov 2010 22:08:57 +0000 (22:08 +0000)
committergrosser <grosser@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 12 Nov 2010 22:08:57 +0000 (22:08 +0000)
commit8a0fe2902bf909c95894cf2ab614add40695160c
treefa008cd3961a73e3936c07b0c576a90b8259b29b
parent1f0577b5a557e6f26d73207c3be34f0dded43874
Add -enable-cloog-backend.

* config/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.
*configure: Regenerate.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@166684 138bc75d-0d04-0410-961f-82ee72b054a4
ChangeLog
config/cloog.m4
configure