From 74e14d2a4261c80679d7baaf2b8158dd78022732 Mon Sep 17 00:00:00 2001
From: Vaivaswatha Nagaraj <vaivaswatha@zilliqa.com>
Date: Thu, 3 Jun 2021 13:35:25 +0530
Subject: [PATCH] Make scilla server a public library

---
 src/server/dune | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/server/dune b/src/server/dune
index c95113ca8..2aa41b57d 100644
--- 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