(lang dune 3.6)
(name frama-c-inout)
(sections
 (lib /usr/lib64/ocaml/frama-c-inout)
 (lib_root /usr/lib64/ocaml)
 (libexec /usr/lib64/ocaml/frama-c-inout))
(files
 (lib
  (META
   core/context.ml
   core/cumulative_analysis.ml
   core/cumulative_analysis.mli
   core/derefs.ml
   core/derefs.mli
   core/inout.a
   core/inout.cma
   core/inout.cmi
   core/inout.cmt
   core/inout.cmx
   core/inout.cmxa
   core/inout.ml
   core/inout__Context.cmi
   core/inout__Context.cmt
   core/inout__Context.cmx
   core/inout__Cumulative_analysis.cmi
   core/inout__Cumulative_analysis.cmt
   core/inout__Cumulative_analysis.cmti
   core/inout__Cumulative_analysis.cmx
   core/inout__Derefs.cmi
   core/inout__Derefs.cmt
   core/inout__Derefs.cmti
   core/inout__Derefs.cmx
   core/inout__Inout_parameters.cmi
   core/inout__Inout_parameters.cmt
   core/inout__Inout_parameters.cmti
   core/inout__Inout_parameters.cmx
   core/inout__Inputs.cmi
   core/inout__Inputs.cmt
   core/inout__Inputs.cmti
   core/inout__Inputs.cmx
   core/inout__Operational_inputs.cmi
   core/inout__Operational_inputs.cmt
   core/inout__Operational_inputs.cmti
   core/inout__Operational_inputs.cmx
   core/inout__Outputs.cmi
   core/inout__Outputs.cmt
   core/inout__Outputs.cmti
   core/inout__Outputs.cmx
   core/inout__Register.cmi
   core/inout__Register.cmt
   core/inout__Register.cmti
   core/inout__Register.cmx
   core/inout_parameters.ml
   core/inout_parameters.mli
   core/inputs.ml
   core/inputs.mli
   core/operational_inputs.ml
   core/operational_inputs.mli
   core/outputs.ml
   core/outputs.mli
   core/register.ml
   core/register.mli
   dune-package
   opam))
 (lib_root (frama-c/plugins/inout/META))
 (libexec (core/inout.cmxs)))
(library
 (name frama-c-inout.core)
 (kind normal)
 (archives (byte core/inout.cma) (native core/inout.cmxa))
 (plugins (byte core/inout.cma) (native core/inout.cmxs))
 (native_archives core/inout.a)
 (requires
  frama-c.kernel
  frama-c-callgraph.core
  frama-c-eva.core
  frama-c-from.core)
 (main_module_name Inout)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name Inout)
   (modules
    ((name Context) (obj_name inout__Context) (visibility public) (impl))
    ((name Cumulative_analysis)
     (obj_name inout__Cumulative_analysis)
     (visibility public)
     (impl)
     (intf))
    ((name Derefs) (obj_name inout__Derefs) (visibility public) (impl) (intf))
    ((name Inout_parameters)
     (obj_name inout__Inout_parameters)
     (visibility public)
     (impl)
     (intf))
    ((name Inputs) (obj_name inout__Inputs) (visibility public) (impl) (intf))
    ((name Operational_inputs)
     (obj_name inout__Operational_inputs)
     (visibility public)
     (impl)
     (intf))
    ((name Outputs)
     (obj_name inout__Outputs)
     (visibility public)
     (impl)
     (intf))
    ((name Register)
     (obj_name inout__Register)
     (visibility public)
     (impl)
     (intf)))
   (alias_module
    (name Inout)
    (obj_name inout)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
