On 01/20/2016 03:21 AM, Martin Michlmayr wrote:
> Package: ppl
> Version: 1:1.1-7.2
> Severity: important
> User: debian-...@lists.debian.org
> Usertags: ftbfs-gcc-6 gcc-6-no-match
>
> This package fails to build with GCC 6. GCC 6 has not been released
> yet, but it's expected that GCC 6 will become the default compiler for
> stretch.
>
> Note that only the first error is reported; there might be more. You
> can find a snapshot of GCC 6 in experimental. To build with GCC 6,
> you can set CC=gcc-6 CXX=g++-6 explicitly.
Thanks for the report Martin. We have tried to install the snapshot of
GCC 6 in experimental, but it did not work:
roberto@jessie64:~$ sudo apt-get -t experimental install gcc-6
Reading package lists... Done
Building dependency tree
Reading state information... Done
Some packages could not be installed. This may mean that you have
requested an impossible situation or if you are using the unstable
distribution that some required packages have not yet been created
or been moved out of Incoming.
The following information may help to resolve the situation:
The following packages have unmet dependencies:
gcc-6 : Depends: cpp-6 (= 6-20160117-1) but it is not going to be installed
Depends: libcc1-0 (>= 6-20160117-1) but it is not going to be installed
Depends: binutils (>= 2.25.90.20160101) but 2.25-5 is to be installed
Depends: libisl15 (>= 0.15) but it is not installable
Depends: libmpfr4 (>= 3.1.3) but 3.1.2-2 is to be installed
Depends: libstdc++6 (>= 5) but 4.9.2-10 is to be installed
E: Unable to correct problems, you have held broken packages.
roberto@jessie64:~$
Can you please advise?
Thanks,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagn...@cs.unipr.it
BUGSENG srl - http://bugseng.com
mailto:roberto.bagn...@bugseng.com
