summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSam James <sam@gentoo.org>2020-10-31 19:09:56 +0000
committerSam James <sam@gentoo.org>2020-11-01 00:25:55 +0000
commit82987429411715840476b5425a48c1fb538e9804 (patch)
treecd9161ded2eee49130fff9dca8e6fc1c71234e74 /sci-mathematics
parentnet-im/vacuum: EAPI-7, cmake.eclass, drop IUSE=adiummessagestyle (diff)
downloadgentoo-82987429411715840476b5425a48c1fb538e9804.tar.gz
gentoo-82987429411715840476b5425a48c1fb538e9804.tar.bz2
gentoo-82987429411715840476b5425a48c1fb538e9804.zip
sci-mathematics/otter: fix build with -fno-common
Too many definitions to bother with a patch and dead upstream, so pass in -fcommon. Closes: https://bugs.gentoo.org/707482 Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/otter/otter-3.3-r3.ebuild11
1 files changed, 7 insertions, 4 deletions
diff --git a/sci-mathematics/otter/otter-3.3-r3.ebuild b/sci-mathematics/otter/otter-3.3-r3.ebuild
index eec8a1d2516..6eb0dc06c30 100644
--- a/sci-mathematics/otter/otter-3.3-r3.ebuild
+++ b/sci-mathematics/otter/otter-3.3-r3.ebuild
@@ -1,9 +1,9 @@
-# Copyright 1999-2017 Gentoo Foundation
+# Copyright 1999-2020 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
-EAPI=6
+EAPI=7
-inherit toolchain-funcs
+inherit flag-o-matic toolchain-funcs
DESCRIPTION="An Automated Deduction System"
HOMEPAGE="http://www.cs.unm.edu/~mccune/otter/"
@@ -12,7 +12,6 @@ SRC_URI="http://www.cs.unm.edu/~mccune/otter/${P}.tar.gz"
LICENSE="otter"
SLOT="0"
KEYWORDS="amd64 ~ppc x86 ~amd64-linux ~x86-linux ~ppc-macos"
-IUSE=""
RDEPEND="
x11-libs/libX11
@@ -25,6 +24,10 @@ PATCHES=(
"${FILESDIR}"/${P}-gold.patch
)
+src_configure() {
+ append-cflags -fcommon
+}
+
src_compile() {
tc-export CC