client/server

UQ-PAC · Dec 20, 2024 · da3ec68 · da3ec68
1 parent d3d7875
commit da3ec68
Show file tree

Hide file tree

Showing 4 changed files with 284 additions and 76 deletions.
diff --git a/bin/dune b/bin/dune
@@ -1,7 +1,7 @@
 (executable
  (public_name gtirb_semantics)
  (name main)
- (flags (:standard -w -69))
+ (flags (:standard -w -69 -w -32 -w -27))
  (preprocess
   (pps ppx_jane -dont-apply=sexp_message))
- (libraries base64 yojson gtirb_semantics asli.libASL janestreet_lru_cache))
+ (libraries base64 yojson gtirb_semantics asli.libASL janestreet_lru_cache lwt.unix mtime mtime.clock))