Bug 761805

Summary:	sci-mathematics/agda-2.6.1.2 : cc1: error: unrecognized command-line option --cpp
Product:	Gentoo Linux	Reporter:	Toralf Förster <toralf>
Component:	Current packages	Assignee:	Gentoo's Haskell Language team <haskell>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	emerge-info.txt emerge-history.txt environment etc.portage.tbz2 sci-mathematics:agda-2.6.1.2:20201225-223459.log temp.tbz2

Description Toralf Förster gentoo-dev

2020-12-26 22:19:00 UTC

[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"

Comment 1 Toralf Förster gentoo-dev

2020-12-26 22:19:01 UTC

Created attachment 679548 [details]
emerge-info.txt

Comment 2 Toralf Förster gentoo-dev

2020-12-26 22:19:03 UTC

Created attachment 679551 [details]
emerge-history.txt

Comment 3 Toralf Förster gentoo-dev

2020-12-26 22:19:04 UTC

Created attachment 679554 [details]
environment

Comment 4 Toralf Förster gentoo-dev

2020-12-26 22:19:05 UTC

Created attachment 679557 [details]
etc.portage.tbz2

Comment 5 Toralf Förster gentoo-dev

2020-12-26 22:19:07 UTC

Created attachment 679560 [details]
sci-mathematics:agda-2.6.1.2:20201225-223459.log

Comment 6 Toralf Förster gentoo-dev

2020-12-26 22:19:08 UTC

Created attachment 679563 [details]
temp.tbz2

Comment 7 Larry the Git Cow gentoo-dev

2020-12-27 10:17:28 UTC

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(-)