(lang dune 3.16)
(name frama-c-postdominators)
(sections
 (lib /usr/lib64/ocaml/frama-c-postdominators)
 (lib_root /usr/lib64/ocaml)
 (libexec /usr/lib64/ocaml/frama-c-postdominators))
(files
 (lib
  (META
   core/compute.ml
   core/compute.mli
   core/postdominators.a
   core/postdominators.cma
   core/postdominators.cmi
   core/postdominators.cmt
   core/postdominators.cmti
   core/postdominators.cmx
   core/postdominators.cmxa
   core/postdominators.ml
   core/postdominators.mli
   core/postdominators__.cmi
   core/postdominators__.cmt
   core/postdominators__.cmx
   core/postdominators__.ml
   core/postdominators__Compute.cmi
   core/postdominators__Compute.cmt
   core/postdominators__Compute.cmti
   core/postdominators__Compute.cmx
   core/postdominators__Postdominators_parameters.cmi
   core/postdominators__Postdominators_parameters.cmt
   core/postdominators__Postdominators_parameters.cmti
   core/postdominators__Postdominators_parameters.cmx
   core/postdominators__Print.cmi
   core/postdominators__Print.cmt
   core/postdominators__Print.cmti
   core/postdominators__Print.cmx
   core/postdominators_parameters.ml
   core/postdominators_parameters.mli
   core/print.ml
   core/print.mli
   dune-package
   opam))
 (lib_root (frama-c/plugins/postdominators/META))
 (libexec (core/postdominators.cmxs)))
(library
 (name frama-c-postdominators.core)
 (kind normal)
 (archives (byte core/postdominators.cma) (native core/postdominators.cmxa))
 (plugins (byte core/postdominators.cma) (native core/postdominators.cmxs))
 (native_archives core/postdominators.a)
 (requires frama-c.kernel)
 (main_module_name Postdominators)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name postdominators__)
     (visibility public)
     (kind alias)
     (source
      (path Postdominators__)
      (impl (path core/postdominators__.ml-gen))))
    (name Postdominators)
    (modules
     (module
      (obj_name postdominators__Compute)
      (visibility public)
      (source
       (path Compute)
       (intf (path core/compute.mli))
       (impl (path core/compute.ml))))
     (module
      (obj_name postdominators)
      (visibility public)
      (source
       (path Postdominators)
       (intf (path core/postdominators.mli))
       (impl (path core/postdominators.ml))))
     (module
      (obj_name postdominators__Postdominators_parameters)
      (visibility public)
      (source
       (path Postdominators_parameters)
       (intf (path core/postdominators_parameters.mli))
       (impl (path core/postdominators_parameters.ml))))
     (module
      (obj_name postdominators__Print)
      (visibility public)
      (source
       (path Print)
       (intf (path core/print.mli))
       (impl (path core/print.ml))))))
   (wrapped true))))
