diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2020-11-25 22:39:15 +0000 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2020-11-25 22:39:15 +0000 |
commit | d934827bf44b7cfcf6711964418148fa60877668 (patch) | |
tree | 0625f358789b5e015e49db139cc1dbc9be00428f /sci-mathematics/otter | |
parent | 2e34d110f164bf74d55fced27fe0000201b3eec5 (diff) |
gentoo resync : 25.11.2020
Diffstat (limited to 'sci-mathematics/otter')
-rw-r--r-- | sci-mathematics/otter/Manifest | 2 | ||||
-rw-r--r-- | sci-mathematics/otter/otter-3.3-r3.ebuild | 11 |
2 files changed, 8 insertions, 5 deletions
diff --git a/sci-mathematics/otter/Manifest b/sci-mathematics/otter/Manifest index 87defdf2c54c..96546f192e51 100644 --- a/sci-mathematics/otter/Manifest +++ b/sci-mathematics/otter/Manifest @@ -1,5 +1,5 @@ AUX otter-3.3-build.patch 3072 BLAKE2B 818cced4cea1d1ded0762143c2c3a81a328426b5847fbd30a6d3bd2610c13e0c65f4ee75cb651628dd7b97cc989feab353c01dc1982e0d03d3b763edb4d7fcd7 SHA512 6f961b9fc629fd7ddc0092f12286d6361503e540dd5a9ff2e48a33b95e6122b2ac78a438e1abd765ee4d269062734c28ec2fc997a1b00011e2fdd34812dd228d AUX otter-3.3-gold.patch 503 BLAKE2B daddf108d12dfec68eb07583697982a62e68413f533ff2c1fc9e27912f3d761704849e7afa776109def5b361b246d1e7a339da496998044695d40607c4dd5dca SHA512 66e4d3f246a1d4efbfdc8b3442bd269990d9c23b90426123ba2ef04b181179fe3a20f39e49bc67c2ad9158946fb0611e4b5700825b27b1af5226ab66fdee16c8 DIST otter-3.3.tar.gz 2809092 BLAKE2B cd98fa71a43671a4f1346cb98dd677e99bc51fcdf8ea71662ba991b84c17e732438e4e1a2ffad7a564034b735acf829d7ac4446b52d79d6b4e154fcc0baccedf SHA512 c33d0f89cec647567cb84467a0adff2cd6023d7713f207ceca1736567b40be4ed6ab98f2ded151fa8dac7184a653cd00358ef8b18cf407ac8387d200e6dc073f -EBUILD otter-3.3-r3.ebuild 782 BLAKE2B afad1573f617ccfdc9ec3008d7f2cf91c2bac53aa67c9a57acf1c8bbf4caa00c9b3619ff833ce1f1089008cbce3b8d439fabee3da398dece35fd412f612f5434 SHA512 52786e5b9a7893321503e885a0d4f84cf1a8f3ba0bf6ea5ba0947d052270f662d4fec3f53f86d99a65a15b76e693f2aeb06c7701743b8ca3a399cb774a6ecfd0 +EBUILD otter-3.3-r3.ebuild 829 BLAKE2B 94ca11acd8836e36c6f4712f754d332e5990f3fa8e1cd109cc032c7331c1a577dd5982066940a20617beb1529d6a75580d3a708367c9e0c966faef2cf18ec155 SHA512 336fe09eb00c5f4d1dcfa994b93ea2d92f7cf7e9a13f3bd898b14c2327814a2c42ea3fdb2a1d759ea1e61059474c15a367244937679f865e31686db934b0c14e MISC metadata.xml 253 BLAKE2B e769e1636e1375309c31bf26fcfdcb1ef46b7a69346fd59011620907237204b3b7ced37cb3450c502f5b19aa1adf36f291412ee47e242ecbfc18c26bfa478f42 SHA512 819062e1ccefa39fc7f577279b08e781b9631eb14b7794db691ab92263c013ca432d279ac08671b19c80f7effb8c67528e5221278c573dd29dc0354bbff4a77e diff --git a/sci-mathematics/otter/otter-3.3-r3.ebuild b/sci-mathematics/otter/otter-3.3-r3.ebuild index eec8a1d25164..6eb0dc06c302 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 |