2024-update for a dbus-free gentoo, now easier then ever
[dbus-free.git] / metadata / md5-cache / sci-mathematics / frama-c-25.0-r2
blob1c772f3195ec5b891472df5e2ed43f66abfcca6b
1 BDEPEND=sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=dev-build/automake-1.16.5:1.16 ) || ( >=dev-build/autoconf-2.72-r1:2.72 >=dev-build/autoconf-2.71-r6:2.71 ) >=dev-build/libtool-2.4.7
2 DEFINED_PHASES=compile configure postinst prepare
3 DEPEND=>=dev-lang/ocaml-4.08.1[ocamlopt?] >=dev-ml/ocamlgraph-2.0.0[ocamlopt?] dev-ml/ppx_import[ocamlopt?] dev-ml/ppx_deriving[ocamlopt?] >=dev-ml/zarith-1.5[ocamlopt?] >=dev-ml/yojson-1.4.1[ocamlopt?] gtk? ( dev-ml/lablgtk:3=[ocamlopt?,sourceview] ) media-gfx/graphviz
4 DESCRIPTION=Framework for analysis of source codes written in C
5 EAPI=7
6 HOMEPAGE=https://frama-c.com
7 INHERIT=autotools toolchain-funcs
8 IUSE=gtk +ocamlopt
9 KEYWORDS=~amd64
10 LICENSE=BSD LGPL-2 LGPL-2.1
11 RDEPEND=>=dev-lang/ocaml-4.08.1[ocamlopt?] >=dev-ml/ocamlgraph-2.0.0[ocamlopt?] dev-ml/ppx_import[ocamlopt?] dev-ml/ppx_deriving[ocamlopt?] >=dev-ml/zarith-1.5[ocamlopt?] >=dev-ml/yojson-1.4.1[ocamlopt?] gtk? ( dev-ml/lablgtk:3=[ocamlopt?,sourceview] )
12 RESTRICT=strip
13 SLOT=0
14 SRC_URI=https://frama-c.com/download/frama-c-25.0-Manganese.tar.gz
15 _eclasses_=gnuconfig    b6b3e92f8b8c996400074b5f61a59256        toolchain-funcs e56c7649b804f051623c8bc1a1c44084        multilib        c19072c3cd7ac5cb21de013f7e9832e0        libtool 9d3a9a889a6fa62ae794f817c156491b        autotools       e4cf390b19033d5ca443765bc8537b81
16 _md5_=fba915586d1027cdf792264fc5018f94