(lang dune 3.6)
(name frama-c-sparecode)
(sections
 (lib /usr/lib64/ocaml/frama-c-sparecode)
 (lib_root /usr/lib64/ocaml)
 (libexec /usr/lib64/ocaml/frama-c-sparecode))
(files
 (lib
  (META
   core/.private/sparecode__Globs.cmi
   core/.private/sparecode__Globs.cmt
   core/.private/sparecode__Globs.cmti
   core/.private/sparecode__Register.cmi
   core/.private/sparecode__Register.cmt
   core/.private/sparecode__Register.cmti
   core/.private/sparecode__Spare_marks.cmi
   core/.private/sparecode__Spare_marks.cmt
   core/.private/sparecode__Spare_marks.cmti
   core/.private/sparecode__Sparecode_params.cmi
   core/.private/sparecode__Sparecode_params.cmt
   core/.private/sparecode__Sparecode_params.cmti
   core/.private/sparecode__Transform.cmi
   core/.private/sparecode__Transform.cmt
   core/.private/sparecode__Transform.cmti
   core/Sparecode.a
   core/Sparecode.cma
   core/Sparecode.cmxa
   core/Sparecode.ml
   core/Sparecode.mli
   core/globs.ml
   core/globs.mli
   core/register.ml
   core/register.mli
   core/spare_marks.ml
   core/spare_marks.mli
   core/sparecode.cmi
   core/sparecode.cmt
   core/sparecode.cmti
   core/sparecode.cmx
   core/sparecode__.cmi
   core/sparecode__.cmt
   core/sparecode__.cmx
   core/sparecode__.ml
   core/sparecode__Globs.cmx
   core/sparecode__Register.cmx
   core/sparecode__Spare_marks.cmx
   core/sparecode__Sparecode_params.cmx
   core/sparecode__Transform.cmx
   core/sparecode_params.ml
   core/sparecode_params.mli
   core/transform.ml
   core/transform.mli
   dune-package
   opam))
 (lib_root (frama-c/plugins/sparecode/META))
 (libexec (core/Sparecode.cmxs)))
(library
 (name frama-c-sparecode.core)
 (kind normal)
 (archives (byte core/Sparecode.cma) (native core/Sparecode.cmxa))
 (plugins (byte core/Sparecode.cma) (native core/Sparecode.cmxs))
 (native_archives core/Sparecode.a)
 (requires
  frama-c.kernel
  frama-c-users.core
  frama-c-eva.core
  frama-c-pdg.core
  frama-c-inout.core)
 (main_module_name Sparecode)
 (modes byte native)
 (obj_dir (private_dir .private))
 (modules
  (wrapped
   (main_module_name Sparecode)
   (modules
    ((name Globs)
     (obj_name sparecode__Globs)
     (visibility private)
     (impl)
     (intf))
    ((name Register)
     (obj_name sparecode__Register)
     (visibility private)
     (impl)
     (intf))
    ((name Spare_marks)
     (obj_name sparecode__Spare_marks)
     (visibility private)
     (impl)
     (intf))
    ((name Sparecode) (obj_name sparecode) (visibility public) (impl) (intf))
    ((name Sparecode_params)
     (obj_name sparecode__Sparecode_params)
     (visibility private)
     (impl)
     (intf))
    ((name Transform)
     (obj_name sparecode__Transform)
     (visibility private)
     (impl)
     (intf)))
   (alias_module
    (name Sparecode__)
    (obj_name sparecode__)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
