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=564520 Pascal Cuoq <pascal_cuoq@xxxxxxxxxxx> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |pascal_cuoq@xxxxxxxxxxx --- Comment #17 from Pascal Cuoq <pascal_cuoq@xxxxxxxxxxx> 2010-04-27 08:31:58 EDT --- Regarding the SELinux, that I understand to be related to dynamic loading in OCaml, Frama-C's only fault is to be the first packaged OCaml program that uses dynamic loading. If something can be done to have OCaml produce dynamically linkable code that satisfies SELinux, it should be done at the level of the compiler. Assuming dynamic loading is the problem, the issue can be worked around with ./configure -with-all-static. But then there will be a monolithic executable, and that may not be the way you would like to package it. I would also urge you NOT to invent a new numbering scheme for versions. "Boron", "Beryllium 2", etc... are nicknames with no numerical significance. The next release could be named "Steel". There is already a version number for the last release, and this number is 20100401. If you were looking for major and minor numbers indicating compatibility, please consider that every release is a new major release. There has never been a Frama-C release that was compatible with a previous version and the next one won't be either, trust me. -- 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. _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review