Merge pull request #444 from goblint/fix_precCompare_builds

Fix dune file for PrecCompare tools
goblint · Nov 11, 2021 · e7d0217 · e7d0217
2 parents a568baf + 9f98557
commit e7d0217
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/dune b/src/dune
@@ -59,15 +59,15 @@
 (executable
   (name privPrecCompare)
   (modules privPrecCompare)
-  (libraries goblint.lib)
+  (libraries goblint.lib goblint.sites.dune)
   (preprocess (staged_pps ppx_deriving.std ppx_deriving_yojson ppx_distr_guards ocaml-monadic))
   (flags :standard -linkall)
 )
 
 (executable
   (name apronPrecCompare)
   (modules apronPrecCompare)
-  (libraries goblint.lib)
+  (libraries goblint.lib goblint.sites.dune)
   (preprocess (staged_pps ppx_deriving.std ppx_deriving_yojson ppx_distr_guards ocaml-monadic))
   (flags :standard -linkall)
 )