Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 208104 Details for
Bug 245807
[science overlay] sci-mathematics/why
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
sci-mathematics/why/why-2.19.ebuild
why-2.19.ebuild (text/plain), 1.44 KB, created by
Jonathan-Christofer Demay
on 2009-10-24 00:11:19 UTC
(
hide
)
Description:
sci-mathematics/why/why-2.19.ebuild
Filename:
MIME Type:
Creator:
Jonathan-Christofer Demay
Created:
2009-10-24 00:11:19 UTC
Size:
1.44 KB
patch
obsolete
># Copyright 1999-2009 Gentoo Foundation ># Distributed under the terms of the GNU General Public License v2 ># $Header: $ > >EAPI="2" > >inherit autotools eutils > >DESCRIPTION="Why is a software verification platform." >HOMEPAGE="http://why.lri.fr/" >SRC_URI="http://why.lri.fr/download/${P}.tar.gz" > >LICENSE="GPL-2" >SLOT="0" >KEYWORDS="~amd64 ~ppc ~sparc ~x86" >IUSE="apron coq doc examples gappa gtk pff pvs" > >DEPEND=">=dev-lang/ocaml-3.09 > >=dev-ml/ocamlgraph-1.2 > gtk? ( >=dev-ml/lablgtk-2.12 ) > apron? ( sci-mathematics/apron ) > coq? ( sci-mathematics/coq ) > gappa? ( sci-mathematics/gappalib-coq ) > pff? ( sci-mathematics/pff ) > pvs? ( sci-mathematics/pvs )" >RDEPEND="${DEPEND}" > >src_prepare() { > epatch "${FILESDIR}/${P}-makefile_sandbox.patch" > > mv jc/jc_ast.mli jc/jc_ast.ml > mv jc/jc_env.mli jc/jc_env.ml > epatch "${FILESDIR}/${P}-jessie_lib.patch" > > #to build with apron-0.9.10 > sed -i configure.in \ > -e "s/pvs/sri-pvs/g" \ > -e "s/oct_caml/octMPQ_caml/g" \ > -e "s/box_caml/boxMPQ_caml/g" \ > -e "s/polka_caml/polkaMPQ_caml/g" > > eautoreconf >} > >src_configure() { > econf $(use_enable apron) PATH="/usr/bin:$PATH" || die "econf failed" >} > >src_compile(){ > emake DESTDIR="/" || die "emake failed" >} > >src_install(){ > emake install DESTDIR="${D}" || die "emake install failed" > dodoc CHANGES COPYING README Version > doman doc/why.1 > > if use doc; then > dodoc doc/manual.ps > fi > > if use examples; then > insinto /usr/share/doc/${PF} > doins -r examples examples-c > 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 245807
:
170896
|
180988
|
182428
|
185872
|
186209
|
208089
|
208090
|
208091
| 208104