From cca1086fc4a960afb16deba9eead0db78f566761 Mon Sep 17 00:00:00 2001
From: Etienne Millon <me@emillon.org>
Date: Mon, 17 Jul 2023 13:34:42 +0200
Subject: [PATCH] ctypes: fix compatibility with 0.21.0

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. `zstd.stubs` actually uses `ctypes.stubs` so it
should depend on it.
---
 src/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/dune b/src/dune
index 4b8aebc..33d3b29 100644
--- a/src/dune
+++ b/src/dune
@@ -3,7 +3,7 @@
   (public_name zstd.stubs)
   (wrapped false)
   (modules zstd_stubs)
-  (libraries ctypes))
+  (libraries ctypes.stubs))
 
 (executable
   (name zstd_gen)