diff options
| author | bstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-10-13 11:01:10 +0000 |
|---|---|---|
| committer | bstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-10-13 11:01:10 +0000 |
| commit | 055a899a36191c531f8306e9d75b63b4f69fd2ca (patch) | |
| tree | 6f84adfe99bc656fa1396e87c917b8425ce1a82d /configure | |
| parent | b4cab6749ba18cf0b3a3c1bd01085cfe94616c3b (diff) | |
| download | gcc-055a899a36191c531f8306e9d75b63b4f69fd2ca.tar.gz | |
2010-10-13 Basile Starynkevitch <basile@starynkevitch.net>
* configure.ac: check for PPL 0.11
* configure: regenerated.
2010-10-13 Basile Starynkevitch <basile@starynkevitch.net>
* gcc/melt/warmelt-macro.melt: changed indentation.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@165417 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/configure b/configure index cce89298e59..480f8c08646 100755 --- a/configure +++ b/configure @@ -5807,6 +5807,11 @@ fi ppllibs=" -lppl_c -lppl -lgmpxx" pplinc= +# we need PPL 0.10.2 at least, but 0.11 is better +# See http://www.cs.unipr.it/ppl/ +ppl_major_version=0 +ppl_minor_version=11 + # Check whether --with-ppl was given. if test "${with_ppl+set}" = set; then : |