test(ctypes): add example of inline dep on a path

ocaml · Feb 5, 2025 · db26e78 · db26e78
1 parent c1d1a3d
commit db26e78
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 3 deletions.
diff --git a/test/blackbox-tests/test-cases/ctypes/deps-full-spec.t/dune b/test/blackbox-tests/test-cases/ctypes/deps-full-spec.t/dune
@@ -11,7 +11,7 @@
    baz.h)
   (headers
    (preamble
-    "#include \"example.h\"\n#include \"%{foo_h}\"\n#include \"%{bar_h}\"\n#include \"baz.h\""))
+    "#include \"example.h\"\n#include \"%{foo_h}\"\n#include \"%{bar_h}\"\n#include \"baz.h\"\n#include \"%{dep:qux.h}\""))
   (type_description
    (instance Types)
    (functor Type_description))

diff --git a/test/blackbox-tests/test-cases/ctypes/deps-full-spec.t/qux.h b/test/blackbox-tests/test-cases/ctypes/deps-full-spec.t/qux.h
@@ -0,0 +1 @@
+#define QUX_VERSION 1
diff --git a/test/blackbox-tests/test-cases/ctypes/deps-full-spec.t/run.t b/test/blackbox-tests/test-cases/ctypes/deps-full-spec.t/run.t
@@ -8,11 +8,11 @@ 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 14, characters 40-48:
-  14 |     "#include \"example.h\"\n#include \"%{foo_h}\"\n#include \"%{bar_h}\"\n#include \"baz.h\""))
+  14 |     "#include \"example.h\"\n#include \"%{foo_h}\"\n#include \"%{bar_h}\"\n#include \"baz.h\"\n#include \"%{dep:qux.h}\""))
                                                ^^^^^^^^
   Error: %{foo_h} isn't allowed in this position.
   File "dune", line 14, characters 63-71:
-  14 |     "#include \"example.h\"\n#include \"%{foo_h}\"\n#include \"%{bar_h}\"\n#include \"baz.h\""))
+  14 |     "#include \"example.h\"\n#include \"%{foo_h}\"\n#include \"%{bar_h}\"\n#include \"baz.h\"\n#include \"%{dep:qux.h}\""))
                                                                       ^^^^^^^^
   Error: %{bar_h} isn't allowed in this position.
   [1]
diff --git a/test/blackbox-tests/test-cases/ctypes/deps-full-spec.t/type_description.ml b/test/blackbox-tests/test-cases/ctypes/deps-full-spec.t/type_description.ml
@@ -1,3 +1,6 @@
 module Types (F : Ctypes.TYPE) = struct
+  open F
+
+  let qux_version = constant "QUX_VERSION" int
 
 end