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
module Sites = struct
let lib = Dune_site.Private_.Helpers.site
~package:"frama-c"
~section:Dune_section.Libexec
~suffix:"lib"
~encoded:(Sys.opaque_identity "=36:/home/opam/.opam/default/lib/frama-c ")
let plugins = Dune_site.Private_.Helpers.site
~package:"frama-c"
~section:Dune_section.Lib
~suffix:"plugins"
~encoded:(Sys.opaque_identity "=36:/home/opam/.opam/default/lib/frama-c ")
let share = Dune_site.Private_.Helpers.site
~package:"frama-c"
~section:Dune_section.Share
~suffix:"share"
~encoded:(Sys.opaque_identity "=38:/home/opam/.opam/default/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)
end