Merge pull request #32 from goblint/goblint-dune-libs

sim642 · web-flow · commit 929f025c606d · 2023-10-12T15:20:23.000+03:00
Add goblint.common dependency
diff --git a/goblint-http-server/dune b/goblint-http-server/dune
@@ -2,7 +2,7 @@
  (name goblint_http)
  (public_name goblint-http)
  (libraries
-  batteries
+  batteries.unthreaded
   cohttp
   cohttp-lwt
   cohttp-lwt-unix
diff --git a/src/dune b/src/dune
@@ -9,6 +9,7 @@
   gen_js_api
   goblint-cil
   goblint-cil.syntacticsearch
+  goblint.common
   goblint.lib
   goblint.timing
   goblint.sites.js
