Remove ppx_distr_guards dependency

Unused since the removal of FlagModes in #736.
goblint · Jul 20, 2022 · 4f57a8d · 4f57a8d
1 parent bf537f1
commit 4f57a8d
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 9 deletions.
diff --git a/dune-project b/dune-project
@@ -30,7 +30,6 @@
     (zarith (>= 1.8))
     (yojson (>= 2.0.0))
     qcheck-core
-    (ppx_distr_guards (>= 0.2))
     ppx_deriving
     ppx_deriving_hash
     ppx_deriving_yojson

diff --git a/goblint.opam b/goblint.opam
@@ -26,7 +26,6 @@ depends: [
   "zarith" {>= "1.8"}
   "yojson" {>= "2.0.0"}
   "qcheck-core"
-  "ppx_distr_guards" {>= "0.2"}
   "ppx_deriving"
   "ppx_deriving_hash"
   "ppx_deriving_yojson"

diff --git a/goblint.opam.locked b/goblint.opam.locked
@@ -76,7 +76,6 @@ depends: [
   "ppx_deriving" {= "5.2.1"}
   "ppx_deriving_hash" {= "0.1.1"}
   "ppx_deriving_yojson" {= "3.6.1"}
-  "ppx_distr_guards" {= "0.3"}
   "ppxlib" {= "0.25.0"}
   "qcheck-core" {= "0.18.1"}
   "qcheck-ounit" {= "0.18.1" & with-test}

diff --git a/src/dune b/src/dune
@@ -34,8 +34,7 @@
     )
   )
   (preprocess
-    (pps ppx_deriving.std ppx_deriving_hash ppx_deriving_yojson
-      ppx_distr_guards ppx_blob))
+    (pps ppx_deriving.std ppx_deriving_hash ppx_deriving_yojson ppx_blob))
   (preprocessor_deps (file util/options.schema.json))
 )
 
@@ -53,31 +52,31 @@
   (modes byte native) ; https://dune.readthedocs.io/en/stable/dune-files.html#linking-modes
   (modules goblint mainarinc mainspec)
   (libraries goblint.lib goblint.sites.dune)
-  (preprocess (pps ppx_deriving.std ppx_deriving_hash ppx_deriving_yojson ppx_distr_guards))
+  (preprocess (pps ppx_deriving.std ppx_deriving_hash ppx_deriving_yojson))
   (flags :standard -linkall)
 )
 
 (executable
   (name privPrecCompare)
   (modules privPrecCompare)
   (libraries goblint.lib goblint.sites.dune)
-  (preprocess (pps ppx_deriving.std ppx_deriving_hash ppx_deriving_yojson ppx_distr_guards))
+  (preprocess (pps ppx_deriving.std ppx_deriving_hash ppx_deriving_yojson))
   (flags :standard -linkall)
 )
 
 (executable
   (name apronPrecCompare)
   (modules apronPrecCompare)
   (libraries goblint.lib goblint.sites.dune)
-  (preprocess (pps ppx_deriving.std ppx_deriving_hash ppx_deriving_yojson ppx_distr_guards))
+  (preprocess (pps ppx_deriving.std ppx_deriving_hash ppx_deriving_yojson))
   (flags :standard -linkall)
 )
 
 (executable
   (name messagesCompare)
   (modules messagesCompare)
   (libraries goblint.lib goblint.sites.dune)
-  (preprocess (pps ppx_deriving.std ppx_deriving_hash ppx_deriving_yojson ppx_distr_guards))
+  (preprocess (pps ppx_deriving.std ppx_deriving_hash ppx_deriving_yojson))
   (flags :standard -linkall)
 )