Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 725598

Summary: sci-mathematics/why3-for-spark calls cc directly
Product: Gentoo Linux Reporter: Agostino Sarubbo <ago>
Component: Current packagesAssignee: Tupone Alfredo <tupone>
Severity: normal    
Priority: Normal    
Version: unspecified   
Hardware: All   
OS: Linux   
Package list:
Runtime testing required: ---
Bug Depends on:    
Bug Blocks: 243502    
Attachments: build.log

Description Agostino Sarubbo gentoo-dev 2020-05-27 11:49:30 UTC
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.
Comment 1 Agostino Sarubbo gentoo-dev 2020-05-27 11:49:35 UTC
Created attachment 642046 [details]

build log and emerge --info
Comment 2 Larry the Git Cow gentoo-dev 2020-05-27 19:24:55 UTC
The bug has been closed via the following commit(s):

commit 80264f6226c82b6ae16c92c98cd7835e71a53680
Author:     Alfredo Tupone <>
AuthorDate: 2020-05-27 19:24:39 +0000
Commit:     Alfredo Tupone <>
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 <>

 .../why3-for-spark/files/why3-for-spark-2019-gentoo.patch      | 10 ++++++++++
 1 file changed, 10 insertions(+)