This is an auto-filed bug because sci-mathematics/why3-for-spark calls cc directly.
The issue was originally discovered on amd64, but it may be reproducible on other arches as well.
If you think that a different summary clarifies the issue better, feel free to change it.
Attached build log and emerge --info.
If you think it doesn't make sense fix these type of issues, I'd like to point out that won't be possible use a different CC implementation (like clang) by setting the CC variable. So this issue has been reproduced by setting the CC variable to x86_64-pc-linux-gnu-gcc and by removing the /usr/bin/cc - /usr/bin/gcc binaries.
Created attachment 642046 [details]
build log and emerge --info
The bug has been closed via the following commit(s):
Author: Alfredo Tupone <email@example.com>
AuthorDate: 2020-05-27 19:24:39 +0000
Commit: Alfredo Tupone <firstname.lastname@example.org>
CommitDate: 2020-05-27 19:24:39 +0000
sci-mathematics/why3-for-spark: use CC
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Alfredo Tupone <email@example.com>
.../why3-for-spark/files/why3-for-spark-2019-gentoo.patch | 10 ++++++++++
1 file changed, 10 insertions(+)