spice/bin/dune

18 lines
295 B
Plaintext
Raw Permalink Normal View History

2023-11-24 04:06:13 +00:00
(executable
(public_name spicec)
(name main)
2023-12-17 21:01:31 +00:00
(modules main)
2023-11-24 04:06:13 +00:00
(libraries spice fmt logs))
2023-12-17 21:01:31 +00:00
(executable
(public_name spice_bctest)
(name bctest)
(modules bctest)
(libraries fmt logs))
2023-12-23 17:22:36 +00:00
(executable
(public_name spice_bcgtest)
(name bcgtest)
(modules bcgtest)
(libraries spice fmt logs))