(lang dune 2.9)
(name alt-ergo-parsers)
(version 2.3.0)
(library
 (name alt-ergo-parsers)
 (kind normal)
 (archives (byte AltErgoParsers.cma) (native AltErgoParsers.cmxa))
 (plugins (byte AltErgoParsers.cma) (native AltErgoParsers.cmxs))
 (native_archives AltErgoParsers.a)
 (requires camlzip dynlink psmt2-frontend alt-ergo-lib)
 (main_module_name AltErgoParsers)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name AltErgoParsers)
   (modules
    ((name MyZip)
     (obj_name altErgoParsers__MyZip)
     (visibility public)
     (impl)
     (intf))
    ((name Parsers)
     (obj_name altErgoParsers__Parsers)
     (visibility public)
     (impl)
     (intf))
    ((name Parsers_loader)
     (obj_name altErgoParsers__Parsers_loader)
     (visibility public)
     (impl)
     (intf))
    ((name Psmt2_to_alt_ergo)
     (obj_name altErgoParsers__Psmt2_to_alt_ergo)
     (visibility public)
     (impl)
     (intf))
    ((name Why_lexer)
     (obj_name altErgoParsers__Why_lexer)
     (visibility public)
     (impl))
    ((name Why_parser)
     (obj_name altErgoParsers__Why_parser)
     (visibility public)
     (impl)
     (intf)))
   (alias_module
    (name AltErgoParsers)
    (obj_name altErgoParsers)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
