This commit is contained in:
Louis Gesbert 2023-11-28 17:22:21 +01:00
parent f3dd1c06d0
commit d4198f52b4

View File

@ -32,7 +32,8 @@
(:standard
(:include custom_linking.sexp)))
(libraries clerk.driver)
(link_deps (package catala))
(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))