Skip to content

Ctypes binding doesn't support well local headers #5325

@bobot

Description

@bobot

Local headers are not well supported with the ctypes, the tests with vendored stanza makes it clear:

(vendored
; hack: multiple -I directives to work around cc commands being run from different
; relative directories. Is there a cleaner way to do this?
(c_flags ("-Istubgen/vendor" "-Ivendor"))))
(headers (include "example.h"))

having (headers (local <file>)) or (headers (include_dirs <dir>)) which would add the correct dependencies and the correct -I according to the current working directory would make the vendor feature more usable.

CC @mbacarella

Metadata

Metadata

Assignees

No one assigned

    Labels

    c-bindingsWhen dune is trying to interop with C

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions