(lang dune 3.21)
(name frama-c-acsl-importer)
(sections
 (lib /usr/lib64/ocaml/frama-c-acsl-importer)
 (lib_root /usr/lib64/ocaml)
 (libexec /usr/lib64/ocaml/frama-c-acsl-importer))
(files
 (lib
  (META
   core/Acsl_importer.ml
   core/acsl_importer.a
   core/acsl_importer.cma
   core/acsl_importer.cmi
   core/acsl_importer.cmt
   core/acsl_importer.cmx
   core/acsl_importer.cmxa
   core/acsl_importer__.cmi
   core/acsl_importer__.cmt
   core/acsl_importer__.cmx
   core/acsl_importer__.ml
   core/acsl_importer__Import.cmi
   core/acsl_importer__Import.cmt
   core/acsl_importer__Import.cmti
   core/acsl_importer__Import.cmx
   core/acsl_importer__Options.cmi
   core/acsl_importer__Options.cmt
   core/acsl_importer__Options.cmti
   core/acsl_importer__Options.cmx
   core/acsl_importer__Paste.cmi
   core/acsl_importer__Paste.cmt
   core/acsl_importer__Paste.cmti
   core/acsl_importer__Paste.cmx
   core/acsl_importer__Register.cmi
   core/acsl_importer__Register.cmt
   core/acsl_importer__Register.cmti
   core/acsl_importer__Register.cmx
   core/acsl_importer__Transform.cmi
   core/acsl_importer__Transform.cmt
   core/acsl_importer__Transform.cmti
   core/acsl_importer__Transform.cmx
   core/import.ml
   core/import.mli
   core/options.ml
   core/options.mli
   core/paste.ml
   core/paste.mli
   core/register.ml
   core/register.mli
   core/transform.ml
   core/transform.mli
   dune-package
   gui/register_gui.a
   gui/register_gui.cma
   gui/register_gui.cmi
   gui/register_gui.cmt
   gui/register_gui.cmti
   gui/register_gui.cmx
   gui/register_gui.cmxa
   gui/register_gui.ml
   gui/register_gui.mli
   opam))
 (lib_root
  (frama-c/plugins/acsl-importer/META
   frama-c/plugins_gui/acsl-importer-gui/META))
 (libexec (core/acsl_importer.cmxs gui/register_gui.cmxs)))
(library
 (name frama-c-acsl-importer.core)
 (kind normal)
 (archives (byte core/acsl_importer.cma) (native core/acsl_importer.cmxa))
 (plugins (byte core/acsl_importer.cma) (native core/acsl_importer.cmxs))
 (native_archives core/acsl_importer.a)
 (requires frama-c.kernel)
 (main_module_name Acsl_importer)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name acsl_importer__)
     (visibility public)
     (kind alias)
     (source (path Acsl_importer__) (impl (path core/acsl_importer__.ml-gen))))
    (name Acsl_importer)
    (modules
     (module
      (obj_name acsl_importer)
      (visibility public)
      (source (path Acsl_importer) (impl (path core/Acsl_importer.ml))))
     (module
      (obj_name acsl_importer__Import)
      (visibility public)
      (source
       (path Import)
       (intf (path core/import.mli))
       (impl (path core/import.ml))))
     (module
      (obj_name acsl_importer__Options)
      (visibility public)
      (source
       (path Options)
       (intf (path core/options.mli))
       (impl (path core/options.ml))))
     (module
      (obj_name acsl_importer__Paste)
      (visibility public)
      (source
       (path Paste)
       (intf (path core/paste.mli))
       (impl (path core/paste.ml))))
     (module
      (obj_name acsl_importer__Register)
      (visibility public)
      (source
       (path Register)
       (intf (path core/register.mli))
       (impl (path core/register.ml))))
     (module
      (obj_name acsl_importer__Transform)
      (visibility public)
      (source
       (path Transform)
       (intf (path core/transform.mli))
       (impl (path core/transform.ml))))))
   (wrapped true))))
(library
 (name frama-c-acsl-importer.gui)
 (kind normal)
 (archives (byte gui/register_gui.cma) (native gui/register_gui.cmxa))
 (plugins (byte gui/register_gui.cma) (native gui/register_gui.cmxs))
 (native_archives gui/register_gui.a)
 (requires frama-c-acsl-importer.core frama-c.kernel frama-c.gui)
 (main_module_name Register_gui)
 (modes byte native)
 (modules
  (singleton
   (obj_name register_gui)
   (visibility public)
   (source
    (path Register_gui)
    (intf (path gui/register_gui.mli))
    (impl (path gui/register_gui.ml))))))
