(lang dune 3.21)
(name frama-c-volatile)
(sections
 (lib /usr/lib64/ocaml/frama-c-volatile)
 (lib_root /usr/lib64/ocaml)
 (libexec /usr/lib64/ocaml/frama-c-volatile))
(files
 (lib
  (META
   core/Volatile.ml
   core/options.ml
   core/options.mli
   core/register.ml
   core/register.mli
   core/volatile.a
   core/volatile.cma
   core/volatile.cmi
   core/volatile.cmt
   core/volatile.cmx
   core/volatile.cmxa
   core/volatile__.cmi
   core/volatile__.cmt
   core/volatile__.cmx
   core/volatile__.ml
   core/volatile__Options.cmi
   core/volatile__Options.cmt
   core/volatile__Options.cmti
   core/volatile__Options.cmx
   core/volatile__Register.cmi
   core/volatile__Register.cmt
   core/volatile__Register.cmti
   core/volatile__Register.cmx
   dune-package
   opam))
 (lib_root (frama-c/plugins/volatile/META))
 (libexec (core/volatile.cmxs)))
(library
 (name frama-c-volatile.core)
 (kind normal)
 (archives (byte core/volatile.cma) (native core/volatile.cmxa))
 (plugins (byte core/volatile.cma) (native core/volatile.cmxs))
 (native_archives core/volatile.a)
 (requires frama-c.kernel frama-c-wp.core)
 (main_module_name Volatile)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name volatile__)
     (visibility public)
     (kind alias)
     (source (path Volatile__) (impl (path core/volatile__.ml-gen))))
    (name Volatile)
    (modules
     (module
      (obj_name volatile__Options)
      (visibility public)
      (source
       (path Options)
       (intf (path core/options.mli))
       (impl (path core/options.ml))))
     (module
      (obj_name volatile__Register)
      (visibility public)
      (source
       (path Register)
       (intf (path core/register.mli))
       (impl (path core/register.ml))))
     (module
      (obj_name volatile)
      (visibility public)
      (source (path Volatile) (impl (path core/Volatile.ml))))))
   (wrapped true))))
