Link-time FFI

Platform spec ADR

Link-time FFI

Back to Foreign library import ◎ Open feature in platform map

Spec standingStandard

Owner

Piotr Mikstacki pmikstacki@cybernomad.it

Submitter

Piotr Mikstacki pmikstacki@cybernomad.it

Current document

Articles

• beskid import lib command CLI workflow for mapping foreign libraries into Project.proj link metadata (v0.3). article Standard Reviewed Wed May 20
• ExternalLibrary provider trait Rust tooling trait for resolving Extern Library strings to linker flags (v0.3). article Standard Reviewed Wed May 20

History

0 revisions (git unavailable at build; counts may be empty)

Open full history on GitHub

No commits recorded for this path.

Completeness

OKarea · 5 SpecSection(s) · 0 H2 heading(s)

Full tree: run pnpm verify:platform-spec-layout (writes src/generated/platform-spec-layout-report.json).

Related spec docs

• Feature
  Foreign library import

  Parent feature hub

Context

Dynamic load deferred.

Decision

v0.3 maps Extern libraries to link-time providers.

Consequences

C ABI profile.

Verification anchors

Foreign-library import tests.