From d810051d47060379b06fbbcc170f95ef312781e3 Mon Sep 17 00:00:00 2001 From: vbot Date: Thu, 7 Nov 2024 17:08:59 +0100 Subject: [PATCH] Fix C runtime build --- runtimes/c/dune | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/runtimes/c/dune b/runtimes/c/dune index 0dac5fd78..2e45d0474 100644 --- a/runtimes/c/dune +++ b/runtimes/c/dune @@ -1,14 +1,16 @@ (rule - (deps runtime.c runtime.h) + (deps runtime.c runtime.h dates_calc.h) (target runtime.o) (action (system - "%{cc} --std=c89 -Wall -Werror -pedantic -c runtime.c -I $(ocamlfind query dates_calc)/c -o %{target}"))) + "%{cc} --std=c89 -Wall -Werror -pedantic -c runtime.c -I . -o %{target}"))) (rule (deps runtime.o) (target catala_runtime.a) (action + ; FIXME: ar is not portable, it makes the build fails on windows. + ; A workaround is to install a mingw toolchain that exposes ar. (run ar rcs %{target} %{lib:dates_calc:c/dates_calc.o} %{deps}))) (rule