The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation.
Created attachment 180848 [details]
A proposed ebuild.
Turns out it's better suited to be in sci-mathematics.
Created attachment 182418 [details]
A few clean up.
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]
fix the doc building process
Created attachment 185868 [details, diff]
fix the PPL wrapper building process
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
Created attachment 208079 [details, diff]
Created attachment 208080 [details]
Created attachment 208100 [details]
Has been in science overlay for a while.