Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 182423 Details for
Bug 259476
[science overlay] sci-mathematics/gappa (New package)
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
sci-mathematics/gappa/gappa-0.11.0.ebuild
gappa-0.11.0.ebuild (text/plain), 798 bytes, created by
Jonathan-Christofer Demay
on 2009-02-18 14:11:29 UTC
(
hide
)
Description:
sci-mathematics/gappa/gappa-0.11.0.ebuild
Filename:
MIME Type:
Creator:
Jonathan-Christofer Demay
Created:
2009-02-18 14:11:29 UTC
Size:
798 bytes
patch
obsolete
># Copyright 1999-2009 Gentoo Foundation ># Distributed under the terms of the GNU General Public License v2 ># $Header: Exp $ > >DESCRIPTION="A tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic." >HOMEPAGE="http://lipforge.ens-lyon.fr/www/gappa/" >SRC_URI="http://lipforge.ens-lyon.fr/frs/download.php/150/${P}.tar.gz" > >LICENSE="CeCILL GPL-2" >SLOT="0" >KEYWORDS="~alpha ~amd64 ~hppa ~ia64 ~ppc ~sparc ~x86" > >IUSE="" > >RDEPEND="dev-libs/gmp > dev-libs/mpfr > dev-libs/boost" > >DEPEND="${RDEPEND}" > >src_unpack() { > unpack ${A} > cd "${S}" >} > >src_compile(){ > econf || die "econf failed" > emake 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 259476
:
182423
|
185871
|
208086
|
208101