Source file Config_data.ml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
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