CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity

expose clerk_config as library

Browse Source
This commit is contained in:
vbot 2024-07-30 15:24:29 +02:00
parent 7f4824bed6
commit 9d5052147a
No known key found for this signature in database
GPG Key ID: A2CE1BDBED95DA38
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
build_system/dune
View File

@ -1,3 +1,9 @@
(library
(name clerk_config)
(public_name catala.clerk_config)
(libraries catala.catala_utils otoml)
(modules clerk_config))
(library
(name clerk_driver)
(public_name catala.clerk_driver)
@ -5,12 +11,13 @@
catala.runtime_ocaml
catala.catala_utils
catala.surface
catala.clerk_config
ninja_utils
cmdliner
re
ocolor
otoml)
(modules clerk_scan clerk_report clerk_runtest clerk_config clerk_driver))
(modules clerk_scan clerk_report clerk_runtest clerk_driver))
(rule
(target custom_linking.sexp)