Unvendor ppx_blob

Version 0.8.0 includes the previously vendored fix for `(lang dune 3.0)`.
goblint · Aug 5, 2024 · 64d392d · 64d392d
1 parent 3ad6b39
commit 64d392d
Show file tree

Hide file tree

Showing 7 changed files with 3 additions and 65 deletions.
diff --git a/dune-project b/dune-project
@@ -45,6 +45,7 @@ Goblint includes analyses for assertions, overflows, deadlocks, etc and can be e
     (ppx_deriving (>= 6.0.2))
     (ppx_deriving_hash (>= 0.1.2))
     (ppx_deriving_yojson (>= 3.7.0))
+    (ppx_blob (>= 0.8.0))
     (ounit2 :with-test)
     (qcheck-ounit :with-test)
     (odoc :with-doc)

diff --git a/goblint.opam b/goblint.opam
@@ -45,6 +45,7 @@ depends: [
   "ppx_deriving" {>= "6.0.2"}
   "ppx_deriving_hash" {>= "0.1.2"}
   "ppx_deriving_yojson" {>= "3.7.0"}
+  "ppx_blob" {>= "0.8.0"}
   "ounit2" {with-test}
   "qcheck-ounit" {with-test}
   "odoc" {with-doc}

diff --git a/goblint.opam.locked b/goblint.opam.locked
@@ -85,6 +85,7 @@ depends: [
   "ordering" {= "3.16.0"}
   "ounit2" {= "2.2.7" & with-test}
   "pp" {= "1.2.0"}
+  "ppx_blob" {= "0.9.0"}
   "ppx_derivers" {= "1.2.1"}
   "ppx_deriving" {= "6.0.2"}
   "ppx_deriving_hash" {= "0.1.2"}

diff --git a/src/vendor/ppx_blob/LICENSE.txt b/src/vendor/ppx_blob/LICENSE.txt
diff --git a/src/vendor/ppx_blob/README.md b/src/vendor/ppx_blob/README.md
diff --git a/src/vendor/ppx_blob/src/dune b/src/vendor/ppx_blob/src/dune
diff --git a/src/vendor/ppx_blob/src/ppx_blob.ml b/src/vendor/ppx_blob/src/ppx_blob.ml