Module Helpers.Target
Compilation targets.
A target selects, for one device, the renderer that generates its code, the architecture to generate for, and the interface and device indices to open it with. Empty fields are unspecified.
#
type t = {- #
device : string;(*The device, e.g.
*)"AMD". - #
renderer : string;(*The renderer, e.g.
*)"HIP". - #
arch : string;(*The architecture, e.g.
*)"gfx1100". - #
interface : string;(*The interface opening the device.
*) - #
indices : string;(*The indices of the devices to open.
*)
}The type for targets.
of_string s reads s, written [INTERFACE[:INDICES]+]DEVICE[:RENDERER[:ARCH]]. DEVICE and RENDERER are uppercased; the other fields are kept as written. It is an error if s has more than one +, naming s, or if the part after the + has more than two :, naming that part.