Make scilla server a public library (#998)

Zilliqa · Jun 3, 2021 · d9c7718 · d9c7718
1 parent 4dc2541
commit d9c7718
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/server/dune b/src/server/dune
@@ -1,10 +1,13 @@
 (library
  (name scilla_server_lib)
+ (public_name scilla.server_lib)
+ (wrapped true)
  (libraries core threads unix rresult rpclib rpclib.json rpclib.cmdliner
    scilla_base scilla_eval)
  (modes byte native)
  (preprocess
-  (pps ppx_sexp_conv ppx_deriving_rpc ppx_deriving.show)))
+  (pps ppx_sexp_conv ppx_deriving_rpc ppx_deriving.show))
+ (synopsis "Scilla workbench implementation."))
 
 (env
  (dev