(lang dune 2.9)
(name coqide-server)
(version dev)
(library
 (name coqide-server.core)
 (kind normal)
 (archives (byte core/core.cma) (native core/core.cmxa))
 (plugins (byte core/core.cma) (native core/core.cmxs))
 (native_archives core/core.a)
 (requires coq-core.lib)
 (modes byte native)
 (modules
  (singleton
   (name Document)
   (obj_name document)
   (visibility public)
   (impl)
   (intf))))
(library
 (name coqide-server.protocol)
 (kind normal)
 (archives (byte protocol/protocol.cma) (native protocol/protocol.cmxa))
 (plugins (byte protocol/protocol.cma) (native protocol/protocol.cmxs))
 (native_archives protocol/protocol.a)
 (requires coq-core.lib)
 (modes byte native)
 (modules
  (unwrapped
   ((name Interface) (obj_name interface) (visibility public) (impl))
   ((name Richpp) (obj_name richpp) (visibility public) (impl) (intf))
   ((name Serialize) (obj_name serialize) (visibility public) (impl) (intf))
   ((name Xml_lexer) (obj_name xml_lexer) (visibility public) (impl) (intf))
   ((name Xml_parser) (obj_name xml_parser) (visibility public) (impl) (intf))
   ((name Xml_printer)
    (obj_name xml_printer)
    (visibility public)
    (impl)
    (intf))
   ((name Xmlprotocol)
    (obj_name xmlprotocol)
    (visibility public)
    (impl)
    (intf)))))
