Skip to content

3.22.0 does not build on systems without clock_gettime: how better to fix it? #13917

@barracuda156

Description

@barracuda156

@rgrinberg Hi, this is more of a question than bug report, though it is related to a recent breakage. The following commit c01c7d1 requires clock_gettime, which does not exist in Darwin < 16. So Dune build is broken now. However, legacy-support library supplies emulated version of it: https://github.com/macports/macports-legacy-support/blob/f89c155cbc2ca8714e4ada66c11b222353e8d87a/src/time.c
Since there is a lot of related code, carrying a fall-back is impractical. I could either revert the breaking commit locally or add a dependency on legacy-support. Could you tell me your opinion on what is preferable (assuming away rebasing costs for the first option, purely from point of view of functionality).

Metadata

Metadata

Assignees

No one assigned

    Labels

    macosIssues that relate to Dune on macOS

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions