Bug 245804 – [science overlay] sci-mathematics/apron

• Product: Gentoo Linux
• Status: RESOLVED OBSOLETE

[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.

http://apron.cri.ensmp.fr/library/apron-0.9.9.tgz

[Comment 1 Jonathan-Christofer Demay 2009-02-03 21:23:05 UTC]

Created attachment 180848 [details]
dev-libs/apron/apron-0.9.9.ebuild

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]
sci-mathematics/apron/apron-0.9.9.ebuild

A few clean up.

[Comment 4 Sébastien Fabbro (RETIRED) 2009-02-20 12:10:11 UTC]

Hi,

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]
sci-mathematics/apron/files/apron-0.9.9-doc.patch

fix the doc building process

[Comment 6 Jonathan-Christofer Demay 2009-03-22 14:03:11 UTC]

Created attachment 185868 [details, diff]
sci-mathematics/apron/files/apron-0.9.9-ppl.patch

fix the PPL wrapper building process

[Comment 7 Jonathan-Christofer Demay 2009-03-22 14:06:56 UTC]

Created attachment 185870 [details]
sci-mathematics/apron/apron-0.9.9.ebuild

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]
sci-mathematics/apron/files/apron-0.9.10-pkgrid_manager.patch

version bump

[Comment 9 Jonathan-Christofer Demay 2009-10-23 22:57:25 UTC]

Created attachment 208080 [details]
sci-mathematics/apron/apron-0.9.10.ebuild

version bump

[Comment 10 Jonathan-Christofer Demay 2009-10-24 00:05:12 UTC]

Created attachment 208100 [details]
sci-mathematics/apron/apron-0.9.10.ebuild

eapi2 update

[Comment 11 Sébastien Fabbro (RETIRED) 2010-01-13 01:50:48 UTC]

Has been in science overlay for a while.

[Comment 12 Michael Orlitzky 2022-05-08 00:43:29 UTC]

The upstream package hasn't been updated in over a decade; it was also removed from the science overlay:

https://github.com/gentoo/sci/commit/3b1741fc7f3831c69dc03bafccc1727594c83745

Let's admit defeat.