Frama-C:
Plug-ins:
Libraries:

Frama-C API - System_config

Information about the environment

module Version : sig ... end
module Share : sig ... end

Unless you are working in the kernel of Frama-C, you should not use this.

module Lib : sig ... end

Unless you are working in the kernel of Frama-C, you should not use this.

module Plugins : sig ... end

Unless you are working in the kernel of Frama-C, you should not use this.

module Preprocessor : sig ... end

Unless you are working in the kernel of Frama-C, you should not use this.

module User_dirs : sig ... end

Default user directories Unless you are working in the kernel of Frama-C, you should not use this.

val is_gui : unit -> bool

Whether we are running in GUI mode. If you only need to know this, it is fine to use it, but if you have an actual dependency on the Frama-C server, prefer using the Server API.

  • before Frama-C+dev

    this was a boolean value and not a function

/ *

val set_gui : bool -> unit
  • alert system_config_set_gui set_gui is for internal use only for the Server plugin.