abi <abi/4.0>,
include <tunables/global>
profile frama-c-gui %{install_path}/lib/frama-c/gui/frama-c-gui flags=(unconfined) {
  userns,
  # Site-specific additions and overrides. See local/README for details.
  include if exists <local/frama-c-gui>
}
