Gentoo Archives: gentoo-commits

From: Sam James <sam@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/otter/
Date: Sun, 01 Nov 2020 00:26:05
Message-Id: 1604190355.82987429411715840476b5425a48c1fb538e9804.sam@gentoo
1 commit: 82987429411715840476b5425a48c1fb538e9804
2 Author: Sam James <sam <AT> gentoo <DOT> org>
3 AuthorDate: Sat Oct 31 19:09:56 2020 +0000
4 Commit: Sam James <sam <AT> gentoo <DOT> org>
5 CommitDate: Sun Nov 1 00:25:55 2020 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=82987429
7
8 sci-mathematics/otter: fix build with -fno-common
9
10 Too many definitions to bother with a patch and
11 dead upstream, so pass in -fcommon.
12
13 Closes: https://bugs.gentoo.org/707482
14 Package-Manager: Portage-3.0.8, Repoman-3.0.2
15 Signed-off-by: Sam James <sam <AT> gentoo.org>
16
17 sci-mathematics/otter/otter-3.3-r3.ebuild | 11 +++++++----
18 1 file changed, 7 insertions(+), 4 deletions(-)
19
20 diff --git a/sci-mathematics/otter/otter-3.3-r3.ebuild b/sci-mathematics/otter/otter-3.3-r3.ebuild
21 index eec8a1d2516..6eb0dc06c30 100644
22 --- a/sci-mathematics/otter/otter-3.3-r3.ebuild
23 +++ b/sci-mathematics/otter/otter-3.3-r3.ebuild
24 @@ -1,9 +1,9 @@
25 -# Copyright 1999-2017 Gentoo Foundation
26 +# Copyright 1999-2020 Gentoo Authors
27 # Distributed under the terms of the GNU General Public License v2
28
29 -EAPI=6
30 +EAPI=7
31
32 -inherit toolchain-funcs
33 +inherit flag-o-matic toolchain-funcs
34
35 DESCRIPTION="An Automated Deduction System"
36 HOMEPAGE="http://www.cs.unm.edu/~mccune/otter/"
37 @@ -12,7 +12,6 @@ SRC_URI="http://www.cs.unm.edu/~mccune/otter/${P}.tar.gz"
38 LICENSE="otter"
39 SLOT="0"
40 KEYWORDS="amd64 ~ppc x86 ~amd64-linux ~x86-linux ~ppc-macos"
41 -IUSE=""
42
43 RDEPEND="
44 x11-libs/libX11
45 @@ -25,6 +24,10 @@ PATCHES=(
46 "${FILESDIR}"/${P}-gold.patch
47 )
48
49 +src_configure() {
50 + append-cflags -fcommon
51 +}
52 +
53 src_compile() {
54 tc-export CC