From 26ab8229e1a59038b5366c59ab87c5b67312bdd2 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 21 Feb 2022 21:26:49 -0500 Subject: [PATCH] preprocess monomorphic too --- src/monomorphic/dune | 1 + 1 file changed, 1 insertion(+) diff --git a/src/monomorphic/dune b/src/monomorphic/dune index c01b2478..be29afd5 100644 --- a/src/monomorphic/dune +++ b/src/monomorphic/dune @@ -1,5 +1,6 @@ (library (name containers_monomorphic) (public_name containers.monomorphic) + (preprocess (action (run %{project_root}/src/core/cpp/cpp.exe %{input-file}))) (modules CCMonomorphic) (wrapped false))