(lang dune 2.9)
(name alt-ergo-parsers)
(version 2.4.2)
(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)
 (jsoo_runtime missing_primitives.js)
 (requires camlzip dynlink psmt2-frontend alt-ergo-lib stdlib-shims)
 (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 Native_lexer)
     (obj_name altErgoParsers__Native_lexer)
     (visibility public)
     (impl))
    ((name Native_parser)
     (obj_name altErgoParsers__Native_parser)
     (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)))
   (alias_module
    (name AltErgoParsers)
    (obj_name altErgoParsers)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
