create dune files for http-server within gobview package

Author: stilscher

dune

@@ -1,7 +1,7 @@
 (rule
  (alias gobview)
  (targets dist)
- (deps src/App.bc.js node_modules webpack.config.js)
+ (deps src/App.bc.js goblint-http-server/src/goblint_http.exe node_modules webpack.config.js)
  (action
   (run npx webpack build)))
 

dune-project

@@ -24,8 +24,16 @@
  (synopsis "Web frontend for Goblint")
  (depends
   dune
-  (ocaml
-   (>= 4.10.0))
+  (ocaml (>= 4.10.0))
+  batteries
+  cohttp-lwt
+  cohttp-lwt-unix
+  fileutils
+  jsonrpc
+  lwt
+  lwt_ppx
+  yojson
+  conduit-lwt-unix
   jsoo-react
   (goblint-cil (>= 2.0.0))
   ctypes_stubs_js

goblint-http-server/dune-project

@@ -1,6 +1,15 @@
 (executable
  (name goblint_http)
  (public_name goblint-http)
- (libraries batteries cohttp cohttp-lwt-unix jsonrpc lwt.unix)
+ (libraries
+  batteries
+  cohttp
+  cohttp-lwt
+  cohttp-lwt-unix
+  conduit-lwt-unix
+  jsonrpc
+  lwt.unix
+  yojson
+  uri)
  (preprocess
   (pps lwt_ppx ppx_yojson_conv)))

goblint-http-server/goblint-http-server.opam

@@ -30,8 +30,8 @@ let send goblint name params =
   let id = `Int goblint.counter in
   goblint.counter <- goblint.counter + 1;
   let req =
-    Jsonrpc.Message.create ?params ~id ~method_:name ()
-    |> Jsonrpc.Message.yojson_of_request
+    Jsonrpc.Request.create ?params ~id ~method_:name ()
+    |> Jsonrpc.Request.yojson_of_t
     |> Yojson.Safe.to_string in
   Printf.printf "send jsonrpc message:\n%s\n" req;
   let%lwt () = Lwt_io.fprintl goblint.output req in

goblint-http-server/goblint-http-server.opam.locked

@@ -14,6 +14,15 @@ bug-reports: "https://github.com/goblint/gobview/issues"
 depends: [
   "dune" {>= "2.7"}
   "ocaml" {>= "4.10.0"}
+  "batteries"
+  "cohttp-lwt"
+  "cohttp-lwt-unix"
+  "fileutils"
+  "jsonrpc"
+  "lwt"
+  "lwt_ppx"
+  "yojson"
+  "conduit-lwt-unix"
   "jsoo-react"
   "goblint-cil" {>= "2.0.0"}
   "ctypes_stubs_js"