test(ctypes): showcase deps field not supporting the full dependency specification

Author: Khady

test/blackbox-tests/test-cases/ctypes/deps-full-spec.t/bar.h

@@ -0,0 +1,15 @@
+(executable
+ (name example)
+ (flags (:standard -w -9-27))
+ (ctypes
+  (external_library_name libexample)
+  (build_flags_resolver pkg_config)
+  (deps (:foo_h "foo.h") (:bar_h bar.h) baz.h)
+  (headers (include "example.h"))
+  (type_description
+   (instance Types)
+   (functor Type_description))
+  (function_description
+   (instance Functions)
+   (functor Function_description))
+  (generated_entry_point C)))

test/blackbox-tests/test-cases/ctypes/deps-full-spec.t/baz.h

@@ -0,0 +1,5 @@
+(lang dune 3.8)
+
+(using ctypes 0.3)
+
+(use_standard_c_and_cxx_flags false)

test/blackbox-tests/test-cases/ctypes/deps-full-spec.t/dune

@@ -0,0 +1,2 @@
+let () =
+  Printf.printf "%d\n" (C.Functions.add2 2)

test/blackbox-tests/test-cases/ctypes/deps-full-spec.t/dune-project

@@ -0,0 +1,8 @@
+open Ctypes
+
+module Types = Types_generated
+
+module Functions (F : Ctypes.FOREIGN) = struct
+  open F
+  let add2 = foreign "example_add2" (int @-> returning int)
+end

test/blackbox-tests/test-cases/ctypes/deps-full-spec.t/example.ml

@@ -0,0 +1,14 @@
+Build an example library as a DLL and set up the environment so that it looks
+like a system/distro library that can be probed with pkg-config and dynamically
+loaded.
+
+Then generate cstubs for it, build an executable that uses those cstubs, and
+run the executable that tests the library through the cstubs.
+
+  $ LIBEX=$(realpath "$PWD/../libexample")
+  $ DYLD_LIBRARY_PATH="$LIBEX" LD_LIBRARY_PATH="$LIBEX" PKG_CONFIG_PATH="$LIBEX/pkgconfig" PKG_CONFIG_ARGN="--define-prefix" dune exec ./example.exe
+  File "dune", line 7, characters 8-24:
+  7 |   (deps (:foo_h "foo.h") (:bar_h bar.h) baz.h)
+              ^^^^^^^^^^^^^^^^
+  Error: Unexpected list
+  [1]

test/blackbox-tests/test-cases/ctypes/deps-full-spec.t/foo.h

@@ -0,0 +1,3 @@
+module Types (F : Ctypes.TYPE) = struct
+
+end