Module Jasmin.ConfigSource

Sourceval target_system : string

Build-time configuration of the target system.