Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 182431 Details for
Bug 245806
[science overlay] sci-mathematics/frama-c
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
sci-mathematics/frama-c/frama-c-20081201.ebuild
frama-c-20081201.ebuild (text/plain), 2.45 KB, created by
Jonathan-Christofer Demay
on 2009-02-18 14:27:59 UTC
(
hide
)
Description:
sci-mathematics/frama-c/frama-c-20081201.ebuild
Filename:
MIME Type:
Creator:
Jonathan-Christofer Demay
Created:
2009-02-18 14:27:59 UTC
Size:
2.45 KB
patch
obsolete
># Copyright 1999-2009 Gentoo Foundation ># Distributed under the terms of the GNU General Public License v2 ># $Header: Exp $ > >inherit eutils > >DESCRIPTION="Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C." >HOMEPAGE="http://www.frama-c.cea.fr/" >SRC_URI="http://www.frama-c.cea.fr/download/${PN/-c/-c-Lithium}-${PV/_/+}.tar.gz" > >LICENSE="LGPL-2" >SLOT="0" >KEYWORDS="~alpha ~amd64 ~hppa ~ia64 ~ppc ~sparc ~x86" > >IUSE="apron coq gappa gtk pff pvs stateshook" >RESTRICT="strip" > >RDEPEND=">=dev-lang/ocaml-3.09 > !sci-mathematics/why > sci-mathematics/ltl2ba > apron? ( sci-mathematics/apron ) > coq? ( sci-mathematics/coq ) > gappa? ( sci-mathematics/gappalib-coq ) > gtk? ( >=dev-ml/lablgtk-2.6 ) > pff? ( sci-mathematics/pff ) > pvs? ( sci-mathematics/pvs )" > >DEPEND="${RDEPEND} > sys-apps/sed" > >S="${WORKDIR}/${PN/-c/-c-Lithium}-${PV/_/+}" > >src_unpack(){ > unpack ${A} > cd "${S}" > > if use stateshook; then > einfo "moving state_set.ml* from value/ to memory_state/ ..." > mv src/value/state_set.ml* src/memory_state/ || die > epatch "${FILESDIR}/${P}-states_hook.patch" > fi > > einfo "seding makefiles..." > sed -i -e "s/\$(COQLIB)/\$(DESTDIR)\/\$(COQLIB)/g" why/Makefile.in > sed -i -e "s/-w \$(DESTDIR)\/\$(COQLIB)/-w \$(COQLIB)/g" why/Makefile.in > sed -i -e "s/\$(PVSLIB)\/why/\$(DESTDIR)\/\$(PVSLIB)\/why/g" why/Makefile.in > sed -i -e "s/\$(MIZFILES)/\$(DESTDIR)\/\$(MIZFILES)/g" why/Makefile.in > sed -i -e "s/@MIZARLIB@/\$(DESTDIR)\/@MIZARLIB@/g" why/Makefile.in > sed -i -e "s/--mandir=\$mandir --enable-apron=\$HAS_APRON/--mandir=\$mandir --host=\$host --build=\$build --enable-apron=\$HAS_APRON/g" configure > sed -i -e "s/--mandir=\$mandir --enable-apron=\$HAS_APRON/--mandir=\$mandir --host=\$host --build=\$build --enable-apron=\$HAS_APRON/g" configure.in >} > >src_compile() { > if use gtk; then > myconf="--enable-gui" > else > myconf="--disable-gui" > fi > > econf ${myconf} || die "econf failed" > emake -j1 depend DESTDIR="/" || die "emake depend failed" > emake -j1 DESTDIR="/" || die "emake failed" >} > >src_install(){ > emake install DESTDIR="${D}" || die "emake install failed" > > if use stateshook; then > ewarn "USE flag 'stateshook' is enabled, it is not officially supported so do not report any bug upstream !" > ewarn "The value analysis does not keep all the several states attached to a statement but just their union." > ewarn "With this patch you can access all these states through a hook while the analysis is taking place." > fi >} >
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 245806
:
170895
|
171559
|
175610
|
175611
|
175613
|
180844
|
180847
|
180989
|
182431
|
185866
|
208093
|
208095
|
208096
|
208097
|
208105