Merge pull request #1554 from goblint/ppx_blob-unvendor

Unvendor ppx_blob
goblint · Sep 9, 2024 · a881e9f · a881e9f
2 parents 2b17599 + ce29e39
commit a881e9f
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))
     (ppxlib (>= 0.30.0)) ; ppx_easy_deriving
     (ounit2 :with-test)
     (qcheck-ounit :with-test)

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"}
   "ppxlib" {>= "0.30.0"}
   "ounit2" {with-test}
   "qcheck-ounit" {with-test}

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