Delete reverse bindings which is not used

mirage · Sep 15, 2023 · 7f3f84c · 7f3f84c
1 parent b31ce24
commit 7f3f84c
Show file tree

Hide file tree

Showing 11 changed files with 1 addition and 231 deletions.
diff --git a/bindings/generator/dune b/bindings/generator/dune
diff --git a/bindings/generator/generate.ml b/bindings/generator/generate.ml
diff --git a/bindings/stubs/apply_bindings.ml b/bindings/stubs/apply_bindings.ml
diff --git a/bindings/stubs/decompress.ml b/bindings/stubs/decompress.ml
diff --git a/bindings/stubs/dune b/bindings/stubs/dune
diff --git a/bindings/stubs/gen_decompress_bindings.ml b/bindings/stubs/gen_decompress_bindings.ml
diff --git a/bindings/stubs/init.c b/bindings/stubs/init.c
diff --git a/decompress.opam b/decompress.opam
@@ -24,7 +24,6 @@ depends: [
   "checkseum"   {>= "0.2.0"}
   "bigstringaf" {with-test}
   "alcotest"    {with-test}
-  "ctypes"      {with-test & >= "0.18.0"}
   "fmt"         {with-test & >= "0.8.7"}
   "camlzip"     {>= "1.10" & with-test}
   "base64"      {>= "3.0.0" & with-test}

diff --git a/test/bin/bindings.t b/test/bin/bindings.t
diff --git a/test/bin/dune b/test/bin/dune
@@ -3,12 +3,5 @@
  (deps
   ../corpus/news
   ../corpus/bib
-  ../../bindings/stubs/libdecompress.a
-  ../../bindings/stubs/decompress.h
   zpipe.c
-  %{bin:decompress}
-  native_c_libraries.exe))
-
-(executable
- (name native_c_libraries)
- (libraries rresult bos astring))
+  %{bin:decompress}))
diff --git a/test/bin/native_c_libraries.ml b/test/bin/native_c_libraries.ml