mirror of
https://github.com/c-cube/sidekick.git
synced 2025-12-07 03:35:38 -05:00
chore: add common dune file
This commit is contained in:
parent
c79a5a4798
commit
57147cea85
1 changed files with 5 additions and 0 deletions
5
src/dune
Normal file
5
src/dune
Normal file
|
|
@ -0,0 +1,5 @@
|
||||||
|
|
||||||
|
(env
|
||||||
|
(_
|
||||||
|
(flags :standard -warn-error -3-32 -color always -safe-string -short-paths)
|
||||||
|
(ocamlopt_flags :standard -O3 -color always -unbox-closures -unbox-closures-factor 20)))
|
||||||
Loading…
Add table
Reference in a new issue