From 962874c038d7b971727d5005d379865fff1bd34f Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 30 Jun 2022 20:36:14 -0400 Subject: [PATCH] dune --- src/cbor/tests/dune | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/cbor/tests/dune b/src/cbor/tests/dune index 2a76380d..7ae1aeb4 100644 --- a/src/cbor/tests/dune +++ b/src/cbor/tests/dune @@ -15,6 +15,9 @@ (executable (name t) (modules t) + (preprocess + (action + (run %{project_root}/src/core/cpp/cpp.exe %{input-file}))) (libraries qcheck-core qcheck-core.runner containers containers.cbor)) (rule