Source file Config_data.ml

module Sites = struct
    let lib = Dune_site.Private_.Helpers.site
      ~package:"frama-c"
      ~section:Dune_section.Libexec
      ~suffix:"lib"
      ~encoded:(Sys.opaque_identity "=32:/home/opam/.opam/5.2/lib/frama-c                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            ")
    let plugins = Dune_site.Private_.Helpers.site
      ~package:"frama-c"
      ~section:Dune_section.Lib
      ~suffix:"plugins"
      ~encoded:(Sys.opaque_identity "=32:/home/opam/.opam/5.2/lib/frama-c                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            ")
    let plugins_gui = Dune_site.Private_.Helpers.site
      ~package:"frama-c"
      ~section:Dune_section.Lib
      ~suffix:"plugins_gui"
      ~encoded:(Sys.opaque_identity "=32:/home/opam/.opam/5.2/lib/frama-c                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            ")
    let share = Dune_site.Private_.Helpers.site
      ~package:"frama-c"
      ~section:Dune_section.Share
      ~suffix:"share"
      ~encoded:(Sys.opaque_identity "=34:/home/opam/.opam/5.2/share/frama-c                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          ")
end
module Plugins = struct
    module Plugins : Dune_site_plugins.Private_.Plugins.S = Dune_site_plugins.Private_.Plugins.Make(struct let paths = Sites.plugins end)
    module Plugins_gui : Dune_site_plugins.Private_.Plugins.S = Dune_site_plugins.Private_.Plugins.Make(struct let paths = Sites.plugins_gui end)
end