> On 25 Oct 2016, at 17:21, Paolo Bonzini <pbonz...@redhat.com> wrote: > > ... If you add the attribute to the test, configure will detect it or not > depending on -mmacosx-version-min, at least in theory.
aha. so your suggestion is to extend configure to add CONFIG_HAVE_CLOCK_GETTIME, add -mmacosx-version-min to be sure configure does **not** set CONFIG_HAVE_CLOCK_GETTIME, and then patch the source codes to conditionally refer to clock_gettime(). this is definitely a better approach than my workaround, but requires much more effort. I'll probably wait for such a solution, when available. regards, Liviu