ocaml: fix compatibility with ctypes 0.21.0 (#421)

In ctypes < 0.21.0, the ctypes and ctypes.stubs libraries were installed in the same directory, so depending on one would make the other one visible. ctypes 0.21.0 installs them in different directories so this makes it an error. hacl-star-raw uses ctypes.stubs so the dependency should be recorded. Co-authored-by: Franziskus Kiefer <[email protected]>
cryspen · Jul 25, 2023 · 81303b8 · 81303b8
1 parent df9faee
commit 81303b8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ocaml/META b/ocaml/META
@@ -1,6 +1,6 @@
 name="hacl-star-raw"
 version="0.7.1"
 description="EverCrypt with Ctypes bindings"
-requires="ctypes"
+requires="ctypes ctypes.stubs"
 archive(native)="ocamlevercrypt.cmxa"
 archive(byte)="ocamlevercrypt.cma"