diff options
Diffstat (limited to 'sci-mathematics/otter/otter-3.3-r3.ebuild')
| -rw-r--r-- | sci-mathematics/otter/otter-3.3-r3.ebuild | 45 |
1 files changed, 0 insertions, 45 deletions
diff --git a/sci-mathematics/otter/otter-3.3-r3.ebuild b/sci-mathematics/otter/otter-3.3-r3.ebuild deleted file mode 100644 index 6eb0dc06c302..000000000000 --- a/sci-mathematics/otter/otter-3.3-r3.ebuild +++ /dev/null @@ -1,45 +0,0 @@ -# Copyright 1999-2020 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit flag-o-matic toolchain-funcs - -DESCRIPTION="An Automated Deduction System" -HOMEPAGE="http://www.cs.unm.edu/~mccune/otter/" -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" - -RDEPEND=" - x11-libs/libX11 - x11-libs/libXaw - x11-libs/libXt" -DEPEND="${RDEPEND}" - -PATCHES=( - "${FILESDIR}"/${P}-build.patch - "${FILESDIR}"/${P}-gold.patch -) - -src_configure() { - append-cflags -fcommon -} - -src_compile() { - tc-export CC - - emake -C source - emake -C mace2 -} - -src_install() { - dobin bin/* source/formed/formed - - dodoc README* Legal Changelog Contents documents/*.pdf - - insinto /usr/share/${PN} - doins -r examples examples-mace2 -} |