Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 208100 Details for
Bug 245804
[science overlay] sci-mathematics/apron
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
sci-mathematics/apron/apron-0.9.10.ebuild
apron-0.9.10.ebuild (text/plain), 2.31 KB, created by
Jonathan-Christofer Demay
on 2009-10-24 00:05:12 UTC
(
hide
)
Description:
sci-mathematics/apron/apron-0.9.10.ebuild
Filename:
MIME Type:
Creator:
Jonathan-Christofer Demay
Created:
2009-10-24 00:05:12 UTC
Size:
2.31 KB
patch
obsolete
># Copyright 1999-2009 Gentoo Foundation ># Distributed under the terms of the GNU General Public License v2 ># $Header: $ > >EAPI="2" > >inherit eutils toolchain-funcs > >DESCRIPTION="APRON is a library dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation" >HOMEPAGE="http://apron.cri.ensmp.fr/library/" >SRC_URI="http://apron.cri.ensmp.fr/library/${P}.tgz" > >LICENSE="LGPL-2 GPL-2" >SLOT="0" >KEYWORDS="~amd64 ~ppc ~sparc ~x86" >IUSE="cxx doc ocaml ppl" > >DEPEND="ocaml? ( >=dev-lang/ocaml-3.09 > dev-ml/camlidl > dev-ml/mlgmpidl ) > dev-libs/gmp > dev-libs/mpfr > ppl? ( dev-libs/ppl ) > doc? ( app-text/texlive > app-text/ghostscript-gpl > cxx? ( app-doc/doxygen ) )" >RDEPEND="${DEPEND}" > >src_prepare() { > mv Makefile.config.model Makefile.config > > #fix compile process > sed -i Makefile.config \ > -e "s/FLAGS = \\\/FLAGS += \\\/g" \ > -e "s/-O3 -DNDEBUG/-DNDEBUG/g" \ > -e "s/APRON_PREFIX = \/usr/APRON_PREFIX = \${DESTDIR}\/usr/g" \ > -e "s/MLGMPIDL_PREFIX = \/usr\/local/MLGMPIDL_PREFIX = \${DESTDIR}\/usr/g" > > #fix doc building process > sed -i Makefile -e "s/; make html/; make/g" > sed -i apronxx/doc/Doxyfile \ > -e "s/OUTPUT_DIRECTORY = \/.*/OUTPUT_DIRECTORY = .\//g" \ > -e "s/STRIP_FROM_PATH = \/.*/STRIP_FROM_PATH = .\//g" > > #fix ppl install for 32 platforms > sed -i ppl/Makefile -e "s/libap_ppl_caml\*\./libap_ppl\*\./g" > > if [[ "$(gcc-major-version)" == "4" ]]; then > sed -i -e "s/# HAS_LONG_DOUBLE = 1/HAS_LONG_DOUBLE = 1/g" Makefile.config > fi > if use !ocaml; then > sed -i -e "s/HAS_OCAML = 1/#HAS_OCAML = 0/g" Makefile.config > fi > if use ppl; then > sed -i -e "s/# HAS_PPL = 1/HAS_PPL = 1/g" Makefile.config > fi > if use cxx && use ppl; then > sed -i -e "s/# HAS_CPP = 1/HAS_CPP = 1/g" Makefile.config > else > die "USE flag 'cxx' needs USE flag 'ppl' set" > fi > > epatch "${FILESDIR}/${P}-pkgrid_manager.patch" >} > >src_compile() { > #damn crappy Makefile > emake || emake || die "emake failed" > > if use doc; then > emake doc || "emake doc failed" > fi >} > >src_install(){ > emake install DESTDIR="${D}" || die "emake install failed" > dodoc AUTHORS Changes COPYING README > > if use doc; then > dodoc apron/apron.pdf > if use ocaml; then > dodoc mlapronidl/mlapronidl.pdf > fi > if use cxx; then > mv apronxx/doc/latex/refman.pdf apronxx/apronxx.pdf > dodoc ./apronxx/apronxx.pdf > fi > 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 245804
:
180848
|
182418
|
185867
|
185868
|
185870
|
208079
|
208080
| 208100