DKSDK_DEV_TOOLS¶

Enables the compiling of developer tools. When ON the DkSDK_DevTools target is available to build the developer tools.

Defaults to ON.

Developer tools are all the DkSDKProject_DeclareAvailable(EXECUTABLES ...) executables that have been made available with DkSDKProject_MakeAvailable().

The OCaml Language Server is a typical developer tool. Other types of developer tools include source code formatters, source code generators and linters.