(lang dune 3.6)
(name frama-c-instantiate)
(sections
 (lib /usr/lib64/ocaml/frama-c-instantiate)
 (lib_root /usr/lib64/ocaml)
 (libexec /usr/lib64/ocaml/frama-c-instantiate)
 (doc /usr/doc/frama-c-instantiate))
(files
 (lib
  (META
   core/Instantiate.ml
   core/basic_alloc.ml
   core/basic_alloc.mli
   core/basic_blocks.ml
   core/basic_blocks.mli
   core/calloc.ml
   core/calloc.mli
   core/free.ml
   core/free.mli
   core/global_context.ml
   core/global_context.mli
   core/instantiate.a
   core/instantiate.cma
   core/instantiate.cmi
   core/instantiate.cmt
   core/instantiate.cmx
   core/instantiate.cmxa
   core/instantiate__.cmi
   core/instantiate__.cmt
   core/instantiate__.cmx
   core/instantiate__.ml
   core/instantiate__Basic_alloc.cmi
   core/instantiate__Basic_alloc.cmt
   core/instantiate__Basic_alloc.cmti
   core/instantiate__Basic_alloc.cmx
   core/instantiate__Basic_blocks.cmi
   core/instantiate__Basic_blocks.cmt
   core/instantiate__Basic_blocks.cmti
   core/instantiate__Basic_blocks.cmx
   core/instantiate__Calloc.cmi
   core/instantiate__Calloc.cmt
   core/instantiate__Calloc.cmti
   core/instantiate__Calloc.cmx
   core/instantiate__Free.cmi
   core/instantiate__Free.cmt
   core/instantiate__Free.cmti
   core/instantiate__Free.cmx
   core/instantiate__Global_context.cmi
   core/instantiate__Global_context.cmt
   core/instantiate__Global_context.cmti
   core/instantiate__Global_context.cmx
   core/instantiate__Instantiator_builder.cmi
   core/instantiate__Instantiator_builder.cmt
   core/instantiate__Instantiator_builder.cmti
   core/instantiate__Instantiator_builder.cmx
   core/instantiate__Malloc.cmi
   core/instantiate__Malloc.cmt
   core/instantiate__Malloc.cmti
   core/instantiate__Malloc.cmx
   core/instantiate__Mem_utils.cmi
   core/instantiate__Mem_utils.cmt
   core/instantiate__Mem_utils.cmti
   core/instantiate__Mem_utils.cmx
   core/instantiate__Memcmp.cmi
   core/instantiate__Memcmp.cmt
   core/instantiate__Memcmp.cmti
   core/instantiate__Memcmp.cmx
   core/instantiate__Memcpy.cmi
   core/instantiate__Memcpy.cmt
   core/instantiate__Memcpy.cmti
   core/instantiate__Memcpy.cmx
   core/instantiate__Memmove.cmi
   core/instantiate__Memmove.cmt
   core/instantiate__Memmove.cmti
   core/instantiate__Memmove.cmx
   core/instantiate__Memset.cmi
   core/instantiate__Memset.cmt
   core/instantiate__Memset.cmti
   core/instantiate__Memset.cmx
   core/instantiate__Options.cmi
   core/instantiate__Options.cmt
   core/instantiate__Options.cmti
   core/instantiate__Options.cmx
   core/instantiate__Register.cmi
   core/instantiate__Register.cmt
   core/instantiate__Register.cmti
   core/instantiate__Register.cmx
   core/instantiate__Transform.cmi
   core/instantiate__Transform.cmt
   core/instantiate__Transform.cmti
   core/instantiate__Transform.cmx
   core/instantiator_builder.ml
   core/instantiator_builder.mli
   core/malloc.ml
   core/malloc.mli
   core/mem_utils.ml
   core/mem_utils.mli
   core/memcmp.ml
   core/memcmp.mli
   core/memcpy.ml
   core/memcpy.mli
   core/memmove.ml
   core/memmove.mli
   core/memset.ml
   core/memset.mli
   core/options.ml
   core/options.mli
   core/register.ml
   core/register.mli
   core/transform.ml
   core/transform.mli
   dune-package
   opam))
 (lib_root (frama-c/plugins/instantiate/META))
 (libexec (core/instantiate.cmxs))
 (doc (README.md)))
(library
 (name frama-c-instantiate.core)
 (kind normal)
 (archives (byte core/instantiate.cma) (native core/instantiate.cmxa))
 (plugins (byte core/instantiate.cma) (native core/instantiate.cmxs))
 (native_archives core/instantiate.a)
 (requires frama-c.kernel)
 (main_module_name Instantiate)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name Instantiate)
   (modules
    ((name Basic_alloc)
     (obj_name instantiate__Basic_alloc)
     (visibility public)
     (impl)
     (intf))
    ((name Basic_blocks)
     (obj_name instantiate__Basic_blocks)
     (visibility public)
     (impl)
     (intf))
    ((name Calloc)
     (obj_name instantiate__Calloc)
     (visibility public)
     (impl)
     (intf))
    ((name Free)
     (obj_name instantiate__Free)
     (visibility public)
     (impl)
     (intf))
    ((name Global_context)
     (obj_name instantiate__Global_context)
     (visibility public)
     (impl)
     (intf))
    ((name Instantiate) (obj_name instantiate) (visibility public) (impl))
    ((name Instantiator_builder)
     (obj_name instantiate__Instantiator_builder)
     (visibility public)
     (impl)
     (intf))
    ((name Malloc)
     (obj_name instantiate__Malloc)
     (visibility public)
     (impl)
     (intf))
    ((name Mem_utils)
     (obj_name instantiate__Mem_utils)
     (visibility public)
     (impl)
     (intf))
    ((name Memcmp)
     (obj_name instantiate__Memcmp)
     (visibility public)
     (impl)
     (intf))
    ((name Memcpy)
     (obj_name instantiate__Memcpy)
     (visibility public)
     (impl)
     (intf))
    ((name Memmove)
     (obj_name instantiate__Memmove)
     (visibility public)
     (impl)
     (intf))
    ((name Memset)
     (obj_name instantiate__Memset)
     (visibility public)
     (impl)
     (intf))
    ((name Options)
     (obj_name instantiate__Options)
     (visibility public)
     (impl)
     (intf))
    ((name Register)
     (obj_name instantiate__Register)
     (visibility public)
     (impl)
     (intf))
    ((name Transform)
     (obj_name instantiate__Transform)
     (visibility public)
     (impl)
     (intf)))
   (alias_module
    (name Instantiate__)
    (obj_name instantiate__)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
