[369 of 369] Compiling Agda.Main ( src/full/Agda/Main.hs, dist/build/Agda/Main.o ) [ 1 of 369] Compiling Agda.Interaction.Options.IORefs ( src/full/Agda/Interaction/Options/IORefs.hs, dist/build/Agda/Interaction/Options/IORefs.p_o ) cc1: error: unrecognized command-line option ‘--cpp’ `x86_64-pc-linux-gnu-gcc' failed in phase `C Compiler'. (Exit code: 1) * ERROR: sci-mathematics/agda-2.6.1.2::gentoo failed (compile phase): * setup build failed ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1-libressl_abi32+64-20201219-101624 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-7.3.1 [2] x86_64-pc-linux-gnu-10.2.0 * clang version 11.0.0 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/11/bin /usr/lib/llvm/11 11.0.0 Available Python interpreters, in order of preference: [1] python3.9 [2] python3.8 (fallback) [3] python2.7 (fallback) Available Ruby profiles: [1] ruby25 (with Rubygems) [2] ruby26 (with Rubygems) [3] ruby27 (with Rubygems) * Available Rust versions: [1] rust-1.48.0 * The following VMs are available for generation-2: *) AdoptOpenJDK 8.272_p10 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 system-vm The Glorious Glasgow Haskell Compilation System, version 8.8.4 timestamp(s) of HEAD at this tinderbox image: /var/db/repos/gentoo Fri Dec 25 10:05:13 PM UTC 2020 /var/db/repos/libressl Wed Dec 23 11:44:15 AM UTC 2020 emerge -qpvO sci-mathematics/agda [ebuild N ] sci-mathematics/agda-2.6.1.2 USE="cpphs profile stdlib -debug -doc -emacs -enable-cluster-counting -hscolour"
Created attachment 679548 [details] emerge-info.txt
Created attachment 679551 [details] emerge-history.txt
Created attachment 679554 [details] environment
Created attachment 679557 [details] etc.portage.tbz2
Created attachment 679560 [details] sci-mathematics:agda-2.6.1.2:20201225-223459.log
Created attachment 679563 [details] temp.tbz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6280ade282f64f7b956e0505330af307a0a7c6df commit 6280ade282f64f7b956e0505330af307a0a7c6df Author: Sergei Trofimovich <slyfox@gentoo.org> AuthorDate: 2020-12-27 10:17:14 +0000 Commit: Sergei Trofimovich <slyfox@gentoo.org> CommitDate: 2020-12-27 10:17:24 +0000 sci-mathematics/agda: set USE=-cpphs by default USE=cpphs is not compatible to profiling builds. Reported-by: Toralf Förster Closes: https://bugs.gentoo.org/761805 Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org> sci-mathematics/agda/agda-2.6.1.2.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
