simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-05-05 08:54:24 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

reformat dune files

Browse source
This commit is contained in:
Simon Cruanes 2026-03-19 03:26:39 +00:00
parent 98128717df
commit 08b3da6931
3 changed files with 12 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
src/bin-lib/dune
View file

@ -2,11 +2,15 @@
(name sidekick_bin_lib)
(public_name sidekick-bin.lib)
(synopsis "Utils for the sidekick binaries")
(libraries containers sidekick.util
(select trace_setup.ml from
(trace-fuchsia -> trace_setup.fuchsia.ml)
(trace-tef -> trace_setup.tef.ml)
(-> trace_setup.dummy.ml)))
(libraries
containers
sidekick.util
(select
trace_setup.ml
from
(trace-fuchsia -> trace_setup.fuchsia.ml)
(trace-tef -> trace_setup.tef.ml)
(-> trace_setup.dummy.ml)))
(flags :standard -warn-error -a+8 -open Sidekick_util))
(ocamllex

3
src/checker/dune
View file

@ -2,6 +2,5 @@
(name main)
(public_name sidekick-checker)
(package sidekick-bin)
(libraries containers sidekick-bin.lib sidekick.util
sidekick.drup)
(libraries containers sidekick-bin.lib sidekick.util sidekick.drup)
(flags :standard -warn-error -a+8 -open Sidekick_util))

4
src/main/dune
View file

@ -7,8 +7,8 @@
(modules main pure_sat_solver)
(modes native)
(libraries containers iter result sidekick.sat sidekick.core sidekick-base
sidekick.smt-solver sidekick-base.smtlib sidekick.drup
sidekick.memtrace sidekick-bin.lib)
sidekick.smt-solver sidekick-base.smtlib sidekick.drup sidekick.memtrace
sidekick-bin.lib)
(flags :standard -safe-string -color always -open Sidekick_util))
(executable