diff options
| author | bstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-10-22 09:28:35 +0000 |
|---|---|---|
| committer | bstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-10-22 09:28:35 +0000 |
| commit | 8dfbafc807ba917d346d622915073bd4450ad344 (patch) | |
| tree | 0fc1c67a44dd208db3792241e7b10e48482d4e98 | |
| parent | 1a9fbd194aff5ee44af3c89d2eada19f8a531d12 (diff) | |
| download | gcc-8dfbafc807ba917d346d622915073bd4450ad344.tar.gz | |
2010-10-22 Basile Starynkevitch <basile@starynkevitch.net>
* configure.ac: test for PPL 0.10 (not 0.11)
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@165809 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | ChangeLog.MELT | 4 | ||||
| -rwxr-xr-x | configure | 2 | ||||
| -rw-r--r-- | configure.ac | 2 |
3 files changed, 6 insertions, 2 deletions
diff --git a/ChangeLog.MELT b/ChangeLog.MELT index c854f191b65..7946f68f64c 100644 --- a/ChangeLog.MELT +++ b/ChangeLog.MELT @@ -1,4 +1,8 @@ +2010-10-22 Basile Starynkevitch <basile@starynkevitch.net> + + * configure.ac: test for PPL 0.10 (not 0.11) + 2010-10-21 Basile Starynkevitch <basile@starynkevitch.net> MELT branch merged with trunk rev 165748 diff --git a/configure b/configure index 480f8c08646..1c68b27f86e 100755 --- a/configure +++ b/configure @@ -5810,7 +5810,7 @@ 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 +ppl_minor_version=10 # Check whether --with-ppl was given. diff --git a/configure.ac b/configure.ac index 222f6ca106c..4055fb08f78 100644 --- a/configure.ac +++ b/configure.ac @@ -1531,7 +1531,7 @@ 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 +ppl_minor_version=10 AC_ARG_WITH(ppl, [ --with-ppl=PATH Specify prefix directory for the installed PPL package Equivalent to --with-ppl-include=PATH/include |