From f63f5d3f5d1b29bfa4e5da86f8250f2539a8b91d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Louis=20Roch=C3=A9=20=28Ahrefs=29?= Date: Wed, 5 Feb 2025 06:03:05 +0000 Subject: [PATCH] test(ctypes): add example of inline dep on a path --- test/blackbox-tests/test-cases/ctypes/deps-full-spec.t/dune | 2 +- test/blackbox-tests/test-cases/ctypes/deps-full-spec.t/qux.h | 1 + test/blackbox-tests/test-cases/ctypes/deps-full-spec.t/run.t | 4 ++-- .../test-cases/ctypes/deps-full-spec.t/type_description.ml | 3 +++ 4 files changed, 7 insertions(+), 3 deletions(-) create mode 100644 test/blackbox-tests/test-cases/ctypes/deps-full-spec.t/qux.h 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 index 6f47b6c7153..5c7407000f0 100644 --- 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 \n#include \"%{foo_h}\"\n#include \"%{bar_h}\"\n#include \"baz.h\"")) + "#include \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 new file mode 100644 index 00000000000..74cdee31332 --- /dev/null +++ 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 index e66b9f6c468..7679883a3cf 100644 --- 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 38-46: - 14 | "#include \n#include \"%{foo_h}\"\n#include \"%{bar_h}\"\n#include \"baz.h\"")) + 14 | "#include \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 61-69: - 14 | "#include \n#include \"%{foo_h}\"\n#include \"%{bar_h}\"\n#include \"baz.h\"")) + 14 | "#include \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 index 41693fda9b3..d546ff67926 100644 --- 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