Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 180988 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.17.ebuild
why-2.17.ebuild (text/plain), 1.17 KB, created by
Jonathan-Christofer Demay
on 2009-02-04 23:38:51 UTC
(
hide
)
Description:
sci-mathematics/why/why-2.17.ebuild
Filename:
MIME Type:
Creator:
Jonathan-Christofer Demay
Created:
2009-02-04 23:38:51 UTC
Size:
1.17 KB
patch
obsolete
># Copyright 1999-2009 Gentoo Foundation ># Distributed under the terms of the GNU General Public License v2 ># $Header: Exp $ > >IUSE="gtk coq pvs apron" > >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="~alpha ~amd64 ~hppa ~ia64 ~ppc ~sparc ~x86 ~x86-fbsd" > >RDEPEND="coq? ( sci-mathematics/coq ) > pvs? ( sci-mathematics/pvs ) > apron? ( dev-libs/apron )" > >DEPEND="${RDEPEND} > >=dev-lang/ocaml-3.09 > gtk? ( >=dev-ml/lablgtk-2.6 )" > >src_unpack() { > unpack ${A} > cd "${S}" > sed -i -e "s/\$(COQLIB)/\$(DESTDIR)\/\$(COQLIB)/g" Makefile.in > sed -i -e "s/-w \$(DESTDIR)\/\$(COQLIB)/-w \$(COQLIB)/g" Makefile.in > sed -i -e "s/\$(PVSLIB)\/why/\$(DESTDIR)\$(PVSLIB)\/why/g" Makefile.in >} > >src_compile(){ > if use apron; then > myconf="--enable-apron=yes" > else > myconf="--enable-apron=yes" > fi > > econf --datarootdir=\${prefix}/share --exec_prefix=NONE --bindir=\${exec_prefix}/bin ${myconf} || die "econf failed" > emake -j1 DESTDIR="/" || die "emake failed" >} > >src_install(){ > emake install DESTDIR="${D}" || die "emake install failed" >}
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