(lang dune 3.6)
(name frama-c-aorai)
(sections
 (lib /usr/lib64/ocaml/frama-c-aorai)
 (lib_root /usr/lib64/ocaml)
 (libexec /usr/lib64/ocaml/frama-c-aorai))
(files
 (lib
  (META
   core/Aorai.ml
   core/aorai.a
   core/aorai.cma
   core/aorai.cmi
   core/aorai.cmt
   core/aorai.cmx
   core/aorai.cmxa
   core/aorai__.cmi
   core/aorai__.cmt
   core/aorai__.cmx
   core/aorai__.ml
   core/aorai__Aorai_dataflow.cmi
   core/aorai__Aorai_dataflow.cmt
   core/aorai__Aorai_dataflow.cmti
   core/aorai__Aorai_dataflow.cmx
   core/aorai__Aorai_eva_analysis.cmi
   core/aorai__Aorai_eva_analysis.cmt
   core/aorai__Aorai_eva_analysis.cmti
   core/aorai__Aorai_eva_analysis.cmx
   core/aorai__Aorai_graph.cmi
   core/aorai__Aorai_graph.cmt
   core/aorai__Aorai_graph.cmti
   core/aorai__Aorai_graph.cmx
   core/aorai__Aorai_metavariables.cmi
   core/aorai__Aorai_metavariables.cmt
   core/aorai__Aorai_metavariables.cmti
   core/aorai__Aorai_metavariables.cmx
   core/aorai__Aorai_option.cmi
   core/aorai__Aorai_option.cmt
   core/aorai__Aorai_option.cmti
   core/aorai__Aorai_option.cmx
   core/aorai__Aorai_register.cmi
   core/aorai__Aorai_register.cmt
   core/aorai__Aorai_register.cmti
   core/aorai__Aorai_register.cmx
   core/aorai__Aorai_utils.cmi
   core/aorai__Aorai_utils.cmt
   core/aorai__Aorai_utils.cmti
   core/aorai__Aorai_utils.cmx
   core/aorai__Aorai_visitors.cmi
   core/aorai__Aorai_visitors.cmt
   core/aorai__Aorai_visitors.cmti
   core/aorai__Aorai_visitors.cmx
   core/aorai__Automaton_ast.cmi
   core/aorai__Automaton_ast.cmt
   core/aorai__Automaton_ast.cmx
   core/aorai__Bool3.cmi
   core/aorai__Bool3.cmt
   core/aorai__Bool3.cmti
   core/aorai__Bool3.cmx
   core/aorai__Data_for_aorai.cmi
   core/aorai__Data_for_aorai.cmt
   core/aorai__Data_for_aorai.cmti
   core/aorai__Data_for_aorai.cmx
   core/aorai__Logic_simplification.cmi
   core/aorai__Logic_simplification.cmt
   core/aorai__Logic_simplification.cmti
   core/aorai__Logic_simplification.cmx
   core/aorai__Path_analysis.cmi
   core/aorai__Path_analysis.cmt
   core/aorai__Path_analysis.cmti
   core/aorai__Path_analysis.cmx
   core/aorai__Pretty_automaton.cmi
   core/aorai__Pretty_automaton.cmt
   core/aorai__Pretty_automaton.cmti
   core/aorai__Pretty_automaton.cmx
   core/aorai__Utils_parser.cmi
   core/aorai__Utils_parser.cmt
   core/aorai__Utils_parser.cmti
   core/aorai__Utils_parser.cmx
   core/aorai__Yalexer.cmi
   core/aorai__Yalexer.cmt
   core/aorai__Yalexer.cmti
   core/aorai__Yalexer.cmx
   core/aorai__Yaparser.cmi
   core/aorai__Yaparser.cmt
   core/aorai__Yaparser.cmti
   core/aorai__Yaparser.cmx
   core/aorai_dataflow.ml
   core/aorai_dataflow.mli
   core/aorai_eva_analysis.ml
   core/aorai_eva_analysis.mli
   core/aorai_graph.ml
   core/aorai_graph.mli
   core/aorai_metavariables.ml
   core/aorai_metavariables.mli
   core/aorai_option.ml
   core/aorai_option.mli
   core/aorai_register.ml
   core/aorai_register.mli
   core/aorai_utils.ml
   core/aorai_utils.mli
   core/aorai_visitors.ml
   core/aorai_visitors.mli
   core/automaton_ast.ml
   core/bool3.ml
   core/bool3.mli
   core/data_for_aorai.ml
   core/data_for_aorai.mli
   core/logic_simplification.ml
   core/logic_simplification.mli
   core/path_analysis.ml
   core/path_analysis.mli
   core/pretty_automaton.ml
   core/pretty_automaton.mli
   core/utils_parser.ml
   core/utils_parser.mli
   core/yalexer.ml
   core/yalexer.mli
   core/yaparser.ml
   core/yaparser.mli
   dune-package
   opam))
 (lib_root (frama-c/plugins/aorai/META))
 (libexec (core/aorai.cmxs)))
(library
 (name frama-c-aorai.core)
 (kind normal)
 (archives (byte core/aorai.cma) (native core/aorai.cmxa))
 (plugins (byte core/aorai.cma) (native core/aorai.cmxs))
 (native_archives core/aorai.a)
 (requires frama-c.kernel frama-c-eva.core)
 (main_module_name Aorai)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name Aorai)
   (modules
    ((name Aorai) (obj_name aorai) (visibility public) (impl))
    ((name Aorai_dataflow)
     (obj_name aorai__Aorai_dataflow)
     (visibility public)
     (impl)
     (intf))
    ((name Aorai_eva_analysis)
     (obj_name aorai__Aorai_eva_analysis)
     (visibility public)
     (impl)
     (intf))
    ((name Aorai_graph)
     (obj_name aorai__Aorai_graph)
     (visibility public)
     (impl)
     (intf))
    ((name Aorai_metavariables)
     (obj_name aorai__Aorai_metavariables)
     (visibility public)
     (impl)
     (intf))
    ((name Aorai_option)
     (obj_name aorai__Aorai_option)
     (visibility public)
     (impl)
     (intf))
    ((name Aorai_register)
     (obj_name aorai__Aorai_register)
     (visibility public)
     (impl)
     (intf))
    ((name Aorai_utils)
     (obj_name aorai__Aorai_utils)
     (visibility public)
     (impl)
     (intf))
    ((name Aorai_visitors)
     (obj_name aorai__Aorai_visitors)
     (visibility public)
     (impl)
     (intf))
    ((name Automaton_ast)
     (obj_name aorai__Automaton_ast)
     (visibility public)
     (impl))
    ((name Bool3) (obj_name aorai__Bool3) (visibility public) (impl) (intf))
    ((name Data_for_aorai)
     (obj_name aorai__Data_for_aorai)
     (visibility public)
     (impl)
     (intf))
    ((name Logic_simplification)
     (obj_name aorai__Logic_simplification)
     (visibility public)
     (impl)
     (intf))
    ((name Path_analysis)
     (obj_name aorai__Path_analysis)
     (visibility public)
     (impl)
     (intf))
    ((name Pretty_automaton)
     (obj_name aorai__Pretty_automaton)
     (visibility public)
     (impl)
     (intf))
    ((name Utils_parser)
     (obj_name aorai__Utils_parser)
     (visibility public)
     (impl)
     (intf))
    ((name Yalexer)
     (obj_name aorai__Yalexer)
     (visibility public)
     (impl)
     (intf))
    ((name Yaparser)
     (obj_name aorai__Yaparser)
     (visibility public)
     (impl)
     (intf)))
   (alias_module
    (name Aorai__)
    (obj_name aorai__)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
