Am Samstag, den 06.06.2015, 14:59 +0200 schrieb Bernhard Übelacker: > > - change libmp3lame0 [3] (at least for stable), even when it is not > guilty
This would be an option. Forcing alignment on an increased boundary so GCC does not fall into thinking that the stack will be 16-bit aligned anyway so it can ignore this attribute. > - test rebuilding OCaml and all dependents with the patch in [1] > - wait if problem vanishes when OCaml 4.02 enters unstable/testing. These two are unforttunately out of the question for Jessie. > - get someone from debian-ocaml-maint involved. Sure, why not. But what could we ask them. We already know (i.e. hope) that the issue has been addressed by OCAML upstream and will vanish as soon as the new release will enter sid. So, in absence of a better approach, I am inclined to upload the fix adding "__attribute__((aligned(0x20)))" to Jessie. My own approach using static variables is indeed too prone to race conditions. Thanks! - Fabian
signature.asc
Description: This is a digitally signed message part
_______________________________________________ pkg-multimedia-maintainers mailing list pkg-multimedia-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-multimedia-maintainers
