| Summary: | sci-mathematics/why3-for-spark does not respect CFLAGS/LDFLAGS | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Agostino Sarubbo <ago> |
| Component: | Current packages | Assignee: | Tupone Alfredo <tupone> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | CC: | esigra |
| Priority: | Normal | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
| Bug Depends on: | |||
| Bug Blocks: | 59506, 331933 | ||
| Attachments: | build.log | ||
Created attachment 644492 [details]
build.log
build log and emerge --info
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ea162b812cb64c737eba031c8fcb8bbef7a2084a commit ea162b812cb64c737eba031c8fcb8bbef7a2084a Author: Alfredo Tupone <tupone@gentoo.org> AuthorDate: 2020-06-12 21:24:23 +0000 Commit: Alfredo Tupone <tupone@gentoo.org> CommitDate: 2020-06-12 21:24:23 +0000 sci-mathematics/why3-for-spark: fix flags and compression Closes: https://bugs.gentoo.org/728032 Closes: https://bugs.gentoo.org/728050 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> .../files/why3-for-spark-2019-flags.patch | 28 +++++ .../why3-for-spark/why3-for-spark-2019-r2.ebuild | 116 +++++++++++++++++++++ 2 files changed, 144 insertions(+) |
@@This is an auto-filed bug@@ If you think that a different summary clarifies the issue better, feel free to change it. Issue: sci-mathematics/why3-for-spark does not respect CFLAGS/LDFLAGS. Discovered on: amd64 NOTE: To reproduce this issue you may want to add "-frecord-gcc-switches" to CFLAGS/CXXFLAGS/FFLAGS/FCFLAGS and LDFLAGS="${LDFLAGS} -Wl,--defsym=__gentoo_check_ldflags__=0". If this is not something about c/c++ see this bug as an hint to hide the QA warning (with QA_FLAGS_IGNORED) where is not possible to respect CFLAGS/LDFLAGS.