aboutsummaryrefslogtreecommitdiff
blob: a64c05e825b4ed463582a0ff2be1a0284d1f2630 (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
49
50
51
52
53
54
55
56
57
58
59
60
61
# Copyright 1999-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2

EAPI=7

inherit autotools

NAME="Titanium"

DESCRIPTION="Framework for analysis of source codes written in C"
HOMEPAGE="https://frama-c.com"
SRC_URI="https://frama-c.com/download/${P}-${NAME}.tar.gz"

LICENSE="LGPL-2"
SLOT="0"
KEYWORDS="~amd64"

IUSE="doc gtk +ocamlopt"
RESTRICT="strip"

DEPEND="
	>=dev-lang/ocaml-3.12.1[ocamlopt?]
	>=dev-ml/ocamlgraph-1.8.5[gtk(-)?,ocamlopt?]
	dev-ml/zarith
	dev-ml/yojson
	sci-mathematics/coq
	sci-mathematics/ltl2ba
	sci-mathematics/alt-ergo
	gtk? (
		>=x11-libs/gtksourceview-2.8:2.0
		>=gnome-base/libgnomecanvas-2.26
		>=dev-ml/lablgtk-2.14[sourceview,gnomecanvas(-),ocamlopt?]
	)"
RDEPEND="${DEPEND}"

S="${WORKDIR}/${P}-${NAME}"

src_prepare(){
	touch config_file || die
	rm -f ocamlgraph.tar.gz || die
	default
	eautoreconf
}

src_configure(){
	econf "$(use_enable gtk gui )"
}

src_compile(){
	# dependencies can not be processed in parallel,
	# this is the intended behavior.
	emake depend
	emake all top DESTDIR="/"

	use doc && emake doc
}

src_install(){
	default
	use doc && dodoc -r doc/doxygen/html/*
}