DkSDKInspectCCompiler¶

DkSDKInspectCCompiler_DetectTargetABI¶

DkSDKInspectCCompiler_DetectTargetABI(
    [FOR_HOST_ABI]
)

Introspects the C compiler to find the DkML-compatible ABI and OS that the C compiler is targeting.

Arguments¶

FOR_HOST_ABI

Ordinarily the output CACHE variables and result variables will be DKML_TARGET_*.

When FOR_HOST_ABI is specified, the output CACHE variables will be DKML_HOST_*.

Use FOR_HOST_ABI when there is an existing ocamlc compiler that is known to produce host ABI executables.

Output CACHE Variables¶

Sets the following CACHE variables:

• DKML_TARGET_HAVE_AFL if and only if it has not been set.

• DKML_TARGET_ABI if and only if it has not been set

Result Variables¶

DKML_TARGET_OS

One of:

• OSX

• IOS

• Android

• Linux

• Windows

DKML_TARGET_ABI_UPPER_SANITIZED

A form of DKML_TARGET_ABI that is both:

• upper-cased, and

• all non-alphabet characters (that is, not A-Z or 0-9) replaced with underscores ()``_``)

For example, if DKML_TARGET_ABI is windows_x86_64 then DKML_TARGET_ABI_UPPER_SANITIZED would be WINDOWS_X86_64.