diff --git a/build_system/dune b/build_system/dune index ce2150e4..be967a27 100644 --- a/build_system/dune +++ b/build_system/dune @@ -32,7 +32,7 @@ (:standard (:include custom_linking.sexp))) (libraries clerk.driver) - (link_deps ../compiler/catala.exe) + (link_deps (package catala)) ; not a real dependency, but when running clerk in practice you always want the catala binary to be up-to-date (e.g. `dune exec -- ckerk test`) (modules clerk) (package clerk))