blob: 711bc9eae5387a4749784fbbc951c1abad05d006 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
# Copyright 1999-2023 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
"${FILESDIR}"/${P}-clang16.patch
)
src_configure() {
append-cflags -fcommon
append-cflags -std=gnu89 # old codebase, incompatible with c2x
append-cppflags -D_GNU_SOURCE #871423 (gethostname, caddr_t)
}
src_compile() {
tc-export AR 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
}
|
