package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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 "=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 plugins_gui = Dune_site.Private_.Helpers.site
      ~package:"frama-c"
      ~section:Dune_section.Lib
      ~suffix:"plugins_gui"
      ~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)
    module Plugins_gui : Dune_site_plugins.Private_.Plugins.S = Dune_site_plugins.Private_.Plugins.Make(struct let paths = Sites.plugins_gui end)
end