(lang dune 3.20)
(name crowbar_utils)
(sections
 (lib /usr/lib64/ocaml/crowbar_utils)
 (libexec /usr/lib64/ocaml/crowbar_utils)
 (doc /usr/doc/crowbar_utils))
(files
 (lib
  (META
   crowbar_utils.a
   crowbar_utils.cma
   crowbar_utils.cmi
   crowbar_utils.cmt
   crowbar_utils.cmti
   crowbar_utils.cmx
   crowbar_utils.cmxa
   crowbar_utils.ml
   crowbar_utils.mli
   dune-package))
 (libexec (crowbar_utils.cmxs))
 (doc (README.md)))
(library
 (name crowbar_utils)
 (kind normal)
 (archives (byte crowbar_utils.cma) (native crowbar_utils.cmxa))
 (plugins (byte crowbar_utils.cma) (native crowbar_utils.cmxs))
 (native_archives crowbar_utils.a)
 (requires frama-c.kernel)
 (main_module_name Crowbar_utils)
 (modes byte native)
 (modules
  (singleton
   (obj_name crowbar_utils)
   (visibility public)
   (source
    (path Crowbar_utils)
    (intf (path crowbar_utils.mli))
    (impl (path crowbar_utils.ml))))))
