From 81303b83a54a92d3b5f54f1b8ddbea60438cc2bf Mon Sep 17 00:00:00 2001
From: Etienne Millon <etienne.millon@gmail.com>
Date: Tue, 25 Jul 2023 11:28:02 +0200
Subject: [PATCH] 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 <franziskuskiefer@gmail.com>
---
 ocaml/META | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ocaml/META b/ocaml/META
index 618876e4..4daa588b 100644
--- 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"