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
Created attachment 180848 [details] dev-libs/apron/apron-0.9.9.ebuild A proposed ebuild.
Turns out it's better suited to be in sci-mathematics.
Created attachment 182418 [details] sci-mathematics/apron/apron-0.9.9.ebuild A few clean up.
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.
Created attachment 185867 [details, diff] sci-mathematics/apron/files/apron-0.9.9-doc.patch fix the doc building process
Created attachment 185868 [details, diff] sci-mathematics/apron/files/apron-0.9.9-ppl.patch fix the PPL wrapper building process
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
Created attachment 208079 [details, diff] sci-mathematics/apron/files/apron-0.9.10-pkgrid_manager.patch version bump
Created attachment 208080 [details] sci-mathematics/apron/apron-0.9.10.ebuild version bump
Created attachment 208100 [details] sci-mathematics/apron/apron-0.9.10.ebuild eapi2 update
Has been in science overlay for a while.
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.
