From 2d860b30aeb280f4e368a881c390edf994b42e9b Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 16 Feb 2022 22:45:10 -0500 Subject: [PATCH] fix --- src/core/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/dune b/src/core/dune index 0bd4bbc5..fd2dd653 100644 --- a/src/core/dune +++ b/src/core/dune @@ -17,7 +17,7 @@ (public_name containers) (wrapped false) (modules :standard \ mkshims) - (preprocess (action (run ./cpp/cpp.exe %{input-file}))) + (preprocess (action (run %{project_root}/src/core/cpp/cpp.exe %{input-file}))) (flags :standard -warn-error -a+8 -w -32 -safe-string -strict-sequence -nolabels -open CCMonomorphic) (libraries seq either containers.monomorphic))