[Bug 719757] Review Request: apron - Numerical abstract domain library

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


https://bugzilla.redhat.com/show_bug.cgi?id=719757

--- Comment #3 from Jerry James <loganjerry at gmail.com> 2011-08-24 19:13:16 EDT ---
Oh, I forgot to add that the incorrect-fsf-address warning is due to
mf_qsort.c!  Every other file in the APRON distribution has the correct
address.  The APRON developers don't want to change the address in mf_qsort.c,
because that is the way it appears in the MySQL code base.  I checked today,
and the incorrect address still appears in MySQL 5.5.15.  So if somebody can
get the MySQL developers to fix the FSF's address, then APRON will get the
correct address, too.

Also, the static libraries are part of the Ocaml interface.  See
https://fedoraproject.org/wiki/Packaging:OCaml#-devel_subpackage.

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.