(lang dune 3.6)
(name frama-c-server)
(sections
 (lib /usr/lib64/ocaml/frama-c-server)
 (lib_root /usr/lib64/ocaml)
 (libexec /usr/lib64/ocaml/frama-c-server))
(files
 (lib
  (META
   core/data.ml
   core/data.mli
   core/jbuffer.ml
   core/jbuffer.mli
   core/kernel_ast.ml
   core/kernel_ast.mli
   core/kernel_main.ml
   core/kernel_main.mli
   core/kernel_project.ml
   core/kernel_project.mli
   core/kernel_properties.ml
   core/kernel_properties.mli
   core/main.ml
   core/main.mli
   core/package.ml
   core/package.mli
   core/request.ml
   core/request.mli
   core/server.a
   core/server.cma
   core/server.cmi
   core/server.cmt
   core/server.cmx
   core/server.cmxa
   core/server.ml
   core/server__Data.cmi
   core/server__Data.cmt
   core/server__Data.cmti
   core/server__Data.cmx
   core/server__Jbuffer.cmi
   core/server__Jbuffer.cmt
   core/server__Jbuffer.cmti
   core/server__Jbuffer.cmx
   core/server__Kernel_ast.cmi
   core/server__Kernel_ast.cmt
   core/server__Kernel_ast.cmti
   core/server__Kernel_ast.cmx
   core/server__Kernel_main.cmi
   core/server__Kernel_main.cmt
   core/server__Kernel_main.cmti
   core/server__Kernel_main.cmx
   core/server__Kernel_project.cmi
   core/server__Kernel_project.cmt
   core/server__Kernel_project.cmti
   core/server__Kernel_project.cmx
   core/server__Kernel_properties.cmi
   core/server__Kernel_properties.cmt
   core/server__Kernel_properties.cmti
   core/server__Kernel_properties.cmx
   core/server__Main.cmi
   core/server__Main.cmt
   core/server__Main.cmti
   core/server__Main.cmx
   core/server__Package.cmi
   core/server__Package.cmt
   core/server__Package.cmti
   core/server__Package.cmx
   core/server__Request.cmi
   core/server__Request.cmt
   core/server__Request.cmti
   core/server__Request.cmx
   core/server__Server_batch.cmi
   core/server__Server_batch.cmt
   core/server__Server_batch.cmti
   core/server__Server_batch.cmx
   core/server__Server_doc.cmi
   core/server__Server_doc.cmt
   core/server__Server_doc.cmti
   core/server__Server_doc.cmx
   core/server__Server_parameters.cmi
   core/server__Server_parameters.cmt
   core/server__Server_parameters.cmti
   core/server__Server_parameters.cmx
   core/server__Server_socket.cmi
   core/server__Server_socket.cmt
   core/server__Server_socket.cmti
   core/server__Server_socket.cmx
   core/server__Server_zmq.cmi
   core/server__Server_zmq.cmt
   core/server__Server_zmq.cmti
   core/server__Server_zmq.cmx
   core/server__States.cmi
   core/server__States.cmt
   core/server__States.cmti
   core/server__States.cmx
   core/server_batch.ml
   core/server_batch.mli
   core/server_doc.ml
   core/server_doc.mli
   core/server_parameters.ml
   core/server_parameters.mli
   core/server_socket.ml
   core/server_socket.mli
   core/server_zmq.ml
   core/server_zmq.mli
   core/states.ml
   core/states.mli
   dune-package
   opam))
 (lib_root (frama-c/plugins/server/META))
 (libexec (core/server.cmxs)))
(library
 (name frama-c-server.core)
 (kind normal)
 (archives (byte core/server.cma) (native core/server.cmxa))
 (plugins (byte core/server.cma) (native core/server.cmxs))
 (native_archives core/server.a)
 (requires frama-c.kernel zmq)
 (main_module_name Server)
 (modes byte native)
 (modules
  (wrapped
   (main_module_name Server)
   (modules
    ((name Data) (obj_name server__Data) (visibility public) (impl) (intf))
    ((name Jbuffer)
     (obj_name server__Jbuffer)
     (visibility public)
     (impl)
     (intf))
    ((name Kernel_ast)
     (obj_name server__Kernel_ast)
     (visibility public)
     (impl)
     (intf))
    ((name Kernel_main)
     (obj_name server__Kernel_main)
     (visibility public)
     (impl)
     (intf))
    ((name Kernel_project)
     (obj_name server__Kernel_project)
     (visibility public)
     (impl)
     (intf))
    ((name Kernel_properties)
     (obj_name server__Kernel_properties)
     (visibility public)
     (impl)
     (intf))
    ((name Main) (obj_name server__Main) (visibility public) (impl) (intf))
    ((name Package)
     (obj_name server__Package)
     (visibility public)
     (impl)
     (intf))
    ((name Request)
     (obj_name server__Request)
     (visibility public)
     (impl)
     (intf))
    ((name Server_batch)
     (obj_name server__Server_batch)
     (visibility public)
     (impl)
     (intf))
    ((name Server_doc)
     (obj_name server__Server_doc)
     (visibility public)
     (impl)
     (intf))
    ((name Server_parameters)
     (obj_name server__Server_parameters)
     (visibility public)
     (impl)
     (intf))
    ((name Server_socket)
     (obj_name server__Server_socket)
     (visibility public)
     (impl)
     (intf))
    ((name Server_zmq)
     (obj_name server__Server_zmq)
     (visibility public)
     (impl)
     (intf))
    ((name States)
     (obj_name server__States)
     (visibility public)
     (impl)
     (intf)))
   (alias_module
    (name Server)
    (obj_name server)
    (visibility public)
    (kind alias)
    (impl))
   (wrapped true))))
