Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 245804 - [science overlay] sci-mathematics/apron
Summary: [science overlay] sci-mathematics/apron
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: High enhancement (vote)
Assignee: Default Assignee for New Packages
Whiteboard: Science overlay
Keywords: EBUILD, InOverlay
Depends on: 290312
Blocks: 245806 245807
  Show dependency tree
Reported: 2008-11-06 10:26 UTC by Le retraité
Modified: 2011-06-20 06:19 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---

dev-libs/apron/apron-0.9.9.ebuild (apron-0.9.9.ebuild,1.19 KB, text/plain)
2009-02-03 21:23 UTC, Jonathan-Christofer Demay
sci-mathematics/apron/apron-0.9.9.ebuild (apron-0.9.9.ebuild,1.19 KB, text/plain)
2009-02-18 14:05 UTC, Jonathan-Christofer Demay
sci-mathematics/apron/files/apron-0.9.9-doc.patch (apron-0.9.9-doc.patch,62.96 KB, patch)
2009-03-22 14:00 UTC, Jonathan-Christofer Demay
Details | Diff
sci-mathematics/apron/files/apron-0.9.9-ppl.patch (apron-0.9.9-ppl.patch,10.05 KB, patch)
2009-03-22 14:03 UTC, Jonathan-Christofer Demay
Details | Diff
sci-mathematics/apron/apron-0.9.9.ebuild (apron-0.9.9.ebuild,2.30 KB, text/plain)
2009-03-22 14:06 UTC, Jonathan-Christofer Demay
sci-mathematics/apron/files/apron-0.9.10-pkgrid_manager.patch (apron-0.9.10-pkgrid_manager.patch,543 bytes, patch)
2009-10-23 22:56 UTC, Jonathan-Christofer Demay
Details | Diff
sci-mathematics/apron/apron-0.9.10.ebuild (apron-0.9.10.ebuild,2.33 KB, text/plain)
2009-10-23 22:57 UTC, Jonathan-Christofer Demay
sci-mathematics/apron/apron-0.9.10.ebuild (apron-0.9.10.ebuild,2.31 KB, text/plain)
2009-10-24 00:05 UTC, Jonathan-Christofer Demay

Note You need to log in before you can comment on or make changes to this bug.
Description Le retraité 2008-11-06 10:26:38 UTC
The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation.
Comment 1 Jonathan-Christofer Demay 2009-02-03 21:23:05 UTC
Created attachment 180848 [details]

A proposed ebuild.
Comment 2 Le retraité 2009-02-18 14:03:22 UTC
Turns out it's better suited to be in sci-mathematics.
Comment 3 Jonathan-Christofer Demay 2009-02-18 14:05:10 UTC
Created attachment 182418 [details]

A few clean up.
Comment 4 Sébastien Fabbro (RETIRED) gentoo-dev 2009-02-20 12:10:11 UTC

A few comments on top of the same ones as bug #245803:
* src_compile: strange syntax. actually could skip entirely and rely on default.
Comment 5 Jonathan-Christofer Demay 2009-03-22 14:00:25 UTC
Created attachment 185867 [details, diff]

fix the doc building process
Comment 6 Jonathan-Christofer Demay 2009-03-22 14:03:11 UTC
Created attachment 185868 [details, diff]

fix the PPL wrapper building process
Comment 7 Jonathan-Christofer Demay 2009-03-22 14:06:56 UTC
Created attachment 185870 [details]

A few clean ups
Install doc files
Fix the PPL wrapper building process
Build the cxx wrapper
Still have a dirty hack because of the crappy Makefile
Comment 8 Jonathan-Christofer Demay 2009-10-23 22:56:56 UTC
Created attachment 208079 [details, diff]

version bump
Comment 9 Jonathan-Christofer Demay 2009-10-23 22:57:25 UTC
Created attachment 208080 [details]

version bump
Comment 10 Jonathan-Christofer Demay 2009-10-24 00:05:12 UTC
Created attachment 208100 [details]

eapi2 update
Comment 11 Sébastien Fabbro (RETIRED) gentoo-dev 2010-01-13 01:50:48 UTC
Has been in science overlay for a while.